pub fn base_type(ty: u32) -> u32
The type that holds the values of a type: the base type of a domain, or the type itself.