scope_use_item_map (catala.Surface.Ast.scope_use_item

constraint 'c scope_use_item_map = 'c scope_use_item_map

inherit VisitorsRuntime.map

inherit meta_assertion_map

inherit definition_map

inherit assertion_map

inherit rule_map

method visit_Rule : 'c -> 'd -> rule -> scope_use_item

method visit_Definition : 'c -> 'e -> definition -> scope_use_item

method visit_Assertion : 'c -> 'f -> assertion -> scope_use_item

method visit_MetaAssertion : 'c -> 'g -> meta_assertion -> scope_use_item

method visit_DateRounding : 'c ->
  'h ->
  ( variation_typ, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  scope_use_item

method visit_scope_use_item : 'c -> 'i -> scope_use_item -> scope_use_item