Class Ast.scope_use_item_mapSource

constraint 'c scope_use_item_map = 'c scope_use_item_map
inherit VisitorsRuntime.map
inherit meta_assertion_map
inherit definition_map
inherit assertion_map
inherit rule_map
method visit_Rule : 'd -> rule -> scope_use_item
method visit_Definition : 'd -> definition -> scope_use_item
method visit_Assertion : 'd -> assertion -> scope_use_item
method visit_MetaAssertion : 'd -> meta_assertion -> scope_use_item
method visit_scope_use_item : 'd -> scope_use_item -> scope_use_item