package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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