OCaml Library Collection
/
type t
val simplify : Env.t -> t -> Types.signature -> Types.signature