Type Definition normalize::Ty[][src]

type Ty = u64;