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 : '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
OCaml

Innovation. Community. Security.