pub fn make_function( arena: &mut TypeArena, self_type: Option<TypeId>, param_types: Vec<TypeId>, ret_types: Vec<TypeId>, checked: bool, ) -> TypeId