Module ExplainSource

Sourcetype flags = {
  1. with_conditions : bool;
  2. with_cleanup : bool;
  3. merge_level : int;
  4. format : [ `Dot | `Convert of string ];
  5. show : string option;
  6. output : Catala_utils.Global.raw_file option;
  7. base_src_url : string;
}
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
Sourcemodule Env : sig ... end
Sourcetype expr = Env.expr
Sourcetype annot = Env.annot = {
  1. conditions : (expr * Env.t) list;
}
Sourcetype laziness_level = {
  1. eval_struct : bool;
  2. eval_op : bool;
  3. eval_match : bool;
  4. eval_default : bool;
  5. eval_vars : expr Shared_ast.Var.t -> bool;
}
Sourceval value_level : laziness_level
Sourceval neg_op : < monomorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t -> < polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t option
Sourceval bool_negation : Catala_utils.Pos.t -> ((< monomorphic : Shared_ast__Definitions.yes ; polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > as 'a, < monomorphic : Shared_ast__Definitions.yes ; polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > as 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> ('a, 'c, 'b) Shared_ast.base_gexpr * 'b Shared_ast__.Definitions.mark
Sourceval result_level : ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> laziness_level
Sourceval print_value_with_env : Shared_ast.decl_ctx -> Stdlib.Format.formatter -> Env.t -> ((Shared_ast.dcalc Shared_ast__.Definitions.any, Shared_ast.dcalc Shared_ast__.Definitions.any, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> unit
Sourcemodule V : sig ... end
Sourcemodule E : sig ... end
Sourcemodule G : sig ... end
Sourceval op_kind : < polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t -> [> `Fct | `Other | `Product | `Round | `Sum ]
Sourcemodule GTopo : sig ... end
Sourceval to_graph : 'a -> Env.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> G.t
Sourceval is_const : ((< .. >, < .. >, 'a) Shared_ast__.Definitions.base_gexpr, 'a Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> bool
Sourceval reverse_graph : G.t -> G.t
Sourceval subst_by : (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.t -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> (('a, 'a, 'b) Shared_ast__.Definitions.base_gexpr, 'b Shared_ast__.Definitions.mark) Catala_utils.Mark.ed
Sourceval map_vertices : (G.vertex -> G.V.label) -> G.t -> G.t
Sourceval graph_cleanup : flags -> G.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> G.t
Sourceval expr_to_dot_label0 : 'a. Catala_utils.Global.backend_lang -> Shared_ast.decl_ctx -> Env.t -> Stdlib.Format.formatter -> ('a, 't) Shared_ast.gexpr -> unit
Sourceval expr_to_dot_label : Catala_utils.Global.backend_lang -> Shared_ast.decl_ctx -> Env.t -> Stdlib.Format.formatter -> ((< assertions : Shared_ast.yes ; custom : Shared_ast.no ; defaultTerms : Shared_ast.yes ; exceptions : Shared_ast.no ; explicitScopes : Shared_ast.no ; monomorphic : Shared_ast.yes ; overloaded : Shared_ast.no ; polymorphic : Shared_ast.yes ; resolved : Shared_ast.yes ; scopeVarSimpl : Shared_ast.no ; scopeVarStates : Shared_ast.no ; syntacticNames : Shared_ast.no >, < assertions : Shared_ast.yes ; custom : Shared_ast.no ; defaultTerms : Shared_ast.yes ; exceptions : Shared_ast.no ; explicitScopes : Shared_ast.no ; monomorphic : Shared_ast.yes ; overloaded : Shared_ast.no ; polymorphic : Shared_ast.yes ; resolved : Shared_ast.yes ; scopeVarSimpl : Shared_ast.no ; scopeVarStates : Shared_ast.no ; syntacticNames : Shared_ast.no >, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> unit
Sourceval to_dot : Catala_utils.Global.backend_lang -> Stdlib.Format.formatter -> Shared_ast.decl_ctx -> Env.t -> ((Shared_ast.dcalc, Shared_ast.dcalc, Env.annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, Env.annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast.Var.Set.t -> G.t -> base_src_url:string -> unit
Sourceval options : flags Cmdliner.Term.t
Sourceval run : Catala_utils.Global.raw_file list -> bool -> string -> flags -> Catala_utils.Global.options -> unit
Sourceval term : (Catala_utils.Global.options -> unit) Cmdliner.Term.t