pub fn func1(param_t: Type, return_t: Type) -> Type