Ast.program_iter
constraint 'c program_iter = 'c program_iter
inherit VisitorsRuntime.iter
inherit law_structure_iter
method visit_program : 'c -> 'd -> program -> unit