base_typ_data_map (catala.Surface.Ast.base_typ_data

constraint 'c base_typ_data_map = 'c base_typ_data_map

inherit VisitorsRuntime.map

inherit Catala_utils.Mark.pos_map

inherit primitive_typ_map

method visit_Primitive : 'c -> 'd -> primitive_typ -> base_typ_data

method visit_Collection : 'c ->
  'e ->
  ( base_typ_data, Catala_utils.Pos.t ) Catala_utils.Mark.ed ->
  base_typ_data

method visit_base_typ_data : 'c -> 'f -> base_typ_data -> base_typ_data