pub type FnExport = (String, Vec<(String, Ty)>, Ty);
A function’s exported signature: (name, params, return_type).