sig
  type t
  val simplify :
    Env.t -> Typemod.Signature_names.t -> Types.signature -> Types.signature
end