typ_map (p.catala.0.8.0.doc.catala.surface.Surface.Ast.typ

constraint 'c typ_map = 'c typ_map

inherit func_typ_map

method visit_typ : 'd ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Marked.t ->
  (naked_typ, Catala_utils.Pos.t) Catala_utils.Marked.t

method visit_Base : 'd -> base_typ -> naked_typ

method visit_Func : 'd -> func_typ -> naked_typ

method visit_naked_typ : 'd -> naked_typ -> naked_typ