pub fn fn1_met(self_t: Type, input_t: Type, return_t: Type) -> Type