Module Explain.EnvSource

Sourcetype t =
  1. | Env of (expr, elt) Shared_ast.Var.Map.t
Sourceand elt = {
  1. base : expr * t;
  2. mutable reduced : expr * t;
}
Sourceand annot = {
  1. conditions : (expr * t) list;
}
Sourceval find : ((Shared_ast.dcalc, Shared_ast.dcalc, annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast__Var.t -> t -> elt
Sourceval add : ((Shared_ast.dcalc, Shared_ast.dcalc, annot Shared_ast.custom) Shared_ast__.Definitions.base_gexpr, annot Shared_ast.custom Shared_ast__.Definitions.mark) Catala_utils.Mark.ed Shared_ast__Var.t -> expr -> t -> t -> t
Sourceval empty : t
Sourceval join : t -> t -> t
Sourceval print : Stdlib.Format.formatter -> t -> unit