Ast.typ_map
constraint 'c typ_map = 'c typ_map
inherit func_typ_map
method visit_typ : 'c -> 'd -> ( naked_typ, Catala_utils.Pos.t ) Catala_utils.Mark.ed -> ( naked_typ, Catala_utils.Pos.t ) Catala_utils.Mark.ed
method visit_Base : 'c -> 'e -> base_typ -> naked_typ
method visit_Func : 'c -> 'f -> func_typ -> naked_typ
method visit_naked_typ : 'c -> 'g -> naked_typ -> naked_typ