Module Mlsem_app.Config

include module type of struct include Mlsem_system.Config end
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
include module type of struct include Mlsem_lang.Config end
type eval_order = Mlsem_lang.Config.eval_order =
  1. | LeftToRight
  2. | RightToLeft
  3. | UnknownOrder
val void_ty : Mlsem_types.Ty.t Stdlib.ref
val app_eval_order : eval_order Stdlib.ref
val tuple_eval_order : eval_order Stdlib.ref
val record_eval_order : eval_order Stdlib.ref
val cons_eval_order : eval_order Stdlib.ref
val ccustom_eval_order : (string, eval_order) Stdlib.Hashtbl.t
type narrowing =
  1. | NoNarrowing
  2. | DirectNarrowing
  3. | PartitionNarrowing
val type_narrowing : narrowing Stdlib.ref
val allow_implicit_downcast : bool Stdlib.ref
val save_all : unit -> unit
val restore_all : unit -> unit