Module Lazy_interpreter.Lazy_interpSource

Sourceval log : ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 -> 'a
Sourceval error : ('a, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> ?kind:??? -> ?header:??? -> ?internal:??? -> ?pos_msg:??? -> ?extra_pos:??? -> ?fmt_pos:??? -> ?outcome:??? -> ?suggestion:??? -> ('c, Stdlib.Format.formatter, unit, 'd) Stdlib.format4 -> 'c
Sourceval noassert : bool
Sourcetype laziness_level = {
  1. eval_struct : bool;
  2. eval_op : bool;
  3. eval_default : bool;
}
Sourceval value_level : laziness_level
Sourcemodule Env : sig ... end
Sourceval run : Catala_utils.Global.raw_file list -> Catala_utils.Global.raw_file option -> bool -> bool -> string -> Catala_utils.Global.options -> unit
Sourceval term : (Catala_utils.Global.options -> unit) Cmdliner.Term.t