package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c expression_iter = 'c expression_iter
inherit VisitorsRuntime.iter
inherit primitive_typ_iter
inherit match_case_pattern_iter
inherit literal_iter
inherit binop_iter
inherit unop_iter
inherit builtin_expression_iter
method visit_AggregateSum : 'd -> primitive_typ -> unit
method visit_AggregateCount : 'e -> unit
method visit_AggregateExtremum : 'f -> bool -> primitive_typ -> expression Utils.Pos.marked -> unit
method visit_AggregateArgExtremum : 'g -> bool -> primitive_typ -> expression Utils.Pos.marked -> unit
method visit_aggregate_func : 'h -> aggregate_func -> unit
method visit_Exists : 'i -> unit
method visit_Forall : 'j -> unit
method visit_Aggregate : 'k -> aggregate_func -> unit
method visit_Map : 'l -> unit
method visit_Filter : 'm -> unit
method visit_collection_op : 'n -> collection_op -> unit
method visit_explicit_match_case : 'o -> explicit_match_case -> unit
method visit_WildCard : 'p -> expression Utils.Pos.marked -> unit
method visit_MatchCase : 'q -> explicit_match_case -> unit
method visit_match_case : 'r -> match_case -> unit
method visit_match_cases : 's -> match_cases -> unit
method visit_MatchWith : 't -> expression Utils.Pos.marked -> match_cases Utils.Pos.marked -> unit
method visit_Unop : 'w -> unop Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_MemCollection : 'y -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_TestMatchCase : 'z -> expression Utils.Pos.marked -> match_case_pattern Utils.Pos.marked -> unit
method visit_FunCall : 'a1 -> expression Utils.Pos.marked -> expression Utils.Pos.marked -> unit
method visit_Builtin : 'b1 -> builtin_expression -> unit
method visit_Literal : 'c1 -> literal -> unit
method visit_EnumInject : 'd1 -> constructor Utils.Pos.marked option -> constructor Utils.Pos.marked -> expression Utils.Pos.marked option -> unit
method visit_StructLit : 'e1 -> constructor Utils.Pos.marked -> (ident Utils.Pos.marked * expression Utils.Pos.marked) list -> unit
method visit_ArrayLit : 'f1 -> expression Utils.Pos.marked list -> unit
method visit_Ident : 'g1 -> ident -> unit
method visit_Dotted : 'h1 -> expression Utils.Pos.marked -> constructor Utils.Pos.marked option -> ident Utils.Pos.marked -> unit
method visit_expression : 'i1 -> expression -> unit