Class Ast.scope_use_item_iterSource

inherit rule_iter
method visit_Rule : 'd -> rule -> unit
method visit_Definition : 'd -> definition -> unit
method visit_Assertion : 'd -> assertion -> unit
method visit_MetaAssertion : 'd -> meta_assertion -> unit
method visit_scope_use_item : 'd -> scope_use_item -> unit