package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c expression_map = 'c expression_map
inherit VisitorsRuntime.map
inherit primitive_typ_map
inherit match_case_pattern_map
inherit literal_map
inherit binop_map
inherit unop_map
inherit builtin_expression_map
method visit_AggregateSum : 'd -> primitive_typ -> aggregate_func
method visit_AggregateCount : 'e -> aggregate_func
method visit_AggregateExtremum : 'f -> bool -> primitive_typ -> (expression, Utils.Pos.t) Utils.Marked.t -> aggregate_func
method visit_AggregateArgExtremum : 'g -> bool -> primitive_typ -> (expression, Utils.Pos.t) Utils.Marked.t -> aggregate_func
method visit_aggregate_func : 'h -> aggregate_func -> aggregate_func
method visit_Exists : 'i -> collection_op
method visit_Forall : 'j -> collection_op
method visit_Aggregate : 'k -> aggregate_func -> collection_op
method visit_Map : 'l -> collection_op
method visit_Filter : 'm -> collection_op
method visit_collection_op : 'n -> collection_op -> collection_op
method visit_explicit_match_case : 'o -> explicit_match_case -> explicit_match_case
method visit_WildCard : 'p -> (expression, Utils.Pos.t) Utils.Marked.t -> match_case
method visit_MatchCase : 'q -> explicit_match_case -> match_case
method visit_match_case : 'r -> match_case -> match_case
method visit_match_cases : 's -> match_cases -> match_cases
method visit_Builtin : 'b1 -> builtin_expression -> expression
method visit_Literal : 'c1 -> literal -> expression
method visit_ArrayLit : 'f1 -> (expression, Utils.Pos.t) Utils.Marked.t list -> expression
method visit_Ident : 'g1 -> ident -> expression
method visit_expression : 'i1 -> expression -> expression