Returns the Type that goes with a Type_Info pointer.
Type
Type_Info
get_type :: (ti: *Type_Info) -> Type