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