Module Typemod.Signature_names

type t
val simplify : Env.t -> t -> Types.signature -> Types.signature