package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 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;
}
val log : ('a, Stdlib.Format.formatter, unit, unit, unit, unit) Stdlib.format6 -> 'a
val 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
val noassert : bool
module Env : sig ... end
type expr = Env.expr
type annot = Env.annot = {
  1. conditions : (expr * Env.t) list;
}
type 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;
}
val value_level : laziness_level
val 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
val 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
val lazy_eval : Shared_ast.decl_ctx -> Env.t -> laziness_level -> expr -> expr * Env.t
val 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
val 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
module V : sig ... end
module E : sig ... end
module G : sig ... end
val op_kind : < polymorphic : Shared_ast__Definitions.yes ; resolved : Shared_ast__Definitions.yes.. > Shared_ast.Op.t -> [> `Fct | `Other | `Product | `Round | `Sum ]
module GTopo : sig ... end
val 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
val is_const : ((< .. >, < .. >, 'a) Shared_ast__.Definitions.base_gexpr, 'a Shared_ast__.Definitions.mark) Catala_utils.Mark.ed -> bool
val reverse_graph : G.t -> G.t
val 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
val map_vertices : (G.vertex -> G.V.label) -> G.t -> G.t
val 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
val 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
val 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
val 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
val options : flags Cmdliner.Term.t
val run : Catala_utils.Global.raw_file list -> bool -> string -> flags -> Catala_utils.Global.options -> unit
val term : (Catala_utils.Global.options -> unit) Cmdliner.Term.t
OCaml

Innovation. Community. Security.