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