pub fn fn0_met(self_t: Type, return_t: Type) -> Type