Config (mlsem-system.Mlsem

val value_restriction : bool Stdlib.ref

val infer_overload : bool Stdlib.ref

val reexplore_failed_domains : bool Stdlib.ref

val normalization_fun : (Mlsem_types.Ty.t -> Mlsem_types.Ty.t) Stdlib.ref

val subst_normalization_fun : 
  (Heuristics.tally_context ->
    Mlsem_types.Subst.t list ->
    Mlsem_types.Subst.t list)
    Stdlib.ref