Document the interface type mps_fun_t.