package catala

You can search for identifiers within the package.

in-package search v0.2.0

Class `Ast.assertion_iter`Source

constraint 'c assertion_iter = 'c assertion_iter

inherit VisitorsRuntime.iter

inherit expression_iter

method visit_assertion : 'd -> assertion -> unit