package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Env of (expr, elt) Shared_ast.Var.Map.t
and elt = {
  1. base : expr * t;
  2. mutable reduced : expr * t;
}
and annot = {
  1. conditions : (expr * t) list;
}
val 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
val 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
val empty : t
val join : t -> t -> t
val print : Format.formatter -> t -> unit