pub fn nd_func( params: Vec<ParamTy>, var_params: Option<ParamTy>, ret: Type ) -> Type
function type with non-default parameters