Module Mlsem_lang.Config

type 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