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 -> ?header:Catala_utils.Message.Content.message -> ?internal:bool -> ?pos_msg:Catala_utils.Message.Content.message -> ?extra_pos:(string * Catala_utils.Pos.t) list -> ?fmt_pos:(Catala_utils.Message.Content.message * Catala_utils.Pos.t) list -> ?outcome:Catala_utils.Message.Content.message list -> ?suggestion:string list -> ('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 -> bool -> bool -> string -> Catala_utils.Global.options -> unit
Sourceval term : (Catala_utils.Global.options -> unit) Cmdliner.Term.t