Ast.assertion_iter
constraint 'c assertion_iter = 'c assertion_iter
inherit VisitorsRuntime.iter
inherit expression_iter
method visit_assertion : 'c -> 'd -> assertion -> unit