Class Ast.typ_iter

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