use type t in mli file