Mlsem_system.Config
val normalize_empty_abstracts : Mlsem_types.Ty.t -> Mlsem_types.Ty.t
val value_restriction : bool Stdlib.ref
val infer_overload : bool Stdlib.ref
val normalization_fun : (Mlsem_types.Ty.t -> Mlsem_types.Ty.t) Stdlib.ref
val no_abstract_inter : bool Stdlib.ref