expression_iter (catala.Surface.Ast.expression

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_Exists : 'c ->
  'd ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) ->
  unit

method visit_Forall : 'c ->
  'e ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) ->
  unit

method visit_Map : 'c ->
  'f ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) ->
  unit

method visit_Filter : 'c ->
  'g ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) ->
  unit

method visit_AggregateSum : 'c -> 'h -> primitive_typ -> unit

method visit_AggregateExtremum : 'c -> 'i -> bool -> expression -> unit

method visit_AggregateArgExtremum : 'c ->
  'j ->
  bool ->
  expression ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) ->
  unit

method visit_collection_op : 'c -> 'k -> collection_op -> unit

method visit_explicit_match_case : 'c -> 'l -> explicit_match_case -> unit

method visit_WildCard : 'c -> 'm -> expression -> unit

method visit_MatchCase : 'c -> 'n -> explicit_match_case -> unit

method visit_match_case : 'c -> 'o -> match_case -> unit

method visit_match_cases : 'c -> 'p -> match_cases -> unit

method visit_expression : 'c -> 'q -> expression -> unit

method visit_Paren : 'c -> 'r -> expression -> unit

method visit_MatchWith : 'c ->
  's ->
  expression ->
  ( match_cases, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  unit

method visit_IfThenElse : 'c ->
  't ->
  expression ->
  expression ->
  expression ->
  unit

method visit_Binop : 'c ->
  'u ->
  ( binop, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  expression ->
  expression ->
  unit

method visit_Unop : 'c ->
  'v ->
  ( unop, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  expression ->
  unit

method visit_CollectionOp : 'c -> 'w -> collection_op -> expression -> unit

method visit_MemCollection : 'c -> 'x -> expression -> expression -> unit

method visit_TestMatchCase : 'c ->
  'y ->
  expression ->
  ( match_case_pattern, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  unit

method visit_FunCall : 'c -> 'z -> expression -> expression list -> unit

method visit_ScopeCall : 'c ->
  'a1 ->
  ( path * ( uident, Catala_utils.Pos.t ) Catala_utils.Mark.ed,
    Catala_utils.Pos.t )
    Catala_utils.Mark.ed ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) list ->
  unit

method visit_LetIn : 'c ->
  'b1 ->
  ( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  expression ->
  expression ->
  unit

method visit_Builtin : 'c -> 'c1 -> builtin_expression -> unit

method visit_Literal : 'c -> 'd1 -> literal -> unit

method visit_EnumInject : 'c ->
  'e1 ->
  ( path * ( uident, Catala_utils.Pos.t ) Catala_utils.Mark.ed,
    Catala_utils.Pos.t )
    Catala_utils.Mark.ed ->
  expression option ->
  unit

method visit_StructLit : 'c ->
  'f1 ->
  ( path * ( uident, Catala_utils.Pos.t ) Catala_utils.Mark.ed,
    Catala_utils.Pos.t )
    Catala_utils.Mark.ed ->
  (( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed * expression) list ->
  unit

method visit_ArrayLit : 'c -> 'g1 -> expression list -> unit

method visit_Ident : 'c ->
  'h1 ->
  path ->
  ( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  unit

method visit_Dotted : 'c ->
  'i1 ->
  expression ->
  ( path * ( lident, Catala_utils.Pos.t ) Catala_utils.Mark.ed,
    Catala_utils.Pos.t )
    Catala_utils.Mark.ed ->
  unit

method visit_naked_expression : 'c -> 'j1 -> naked_expression -> unit