pub fn pr1_kw_met(self_t: Type, input: ParamTy, return_t: Type) -> Type