package catala

  1. Overview
  2. Docs
package catala
Legend:
Library
Module
Module type
Parameter
Class
Class type
constraint 'c meta_assertion_iter = 'c meta_assertion_iter
inherit VisitorsRuntime.iter
inherit variation_typ_iter
inherit qident_iter
inherit expression_iter
method visit_FixedBy : 'd -> qident Utils.Pos.marked -> ident Utils.Pos.marked -> unit
method visit_VariesWith : 'e -> qident Utils.Pos.marked -> expression Utils.Pos.marked -> variation_typ Utils.Pos.marked option -> unit
method visit_meta_assertion : 'f -> meta_assertion -> unit