package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit rule_iter
method visit_Rule : 'd -> rule -> unit
method visit_Definition : 'e -> definition -> unit
method visit_Assertion : 'f -> assertion -> unit
method visit_MetaAssertion : 'g -> meta_assertion -> unit
method visit_scope_use_item : 'h -> scope_use_item -> unit