package catala

You can search for identifiers within the package.

in-package search v0.2.0

Class `Ast.assertion_map`Source

constraint 'c assertion_map = 'c assertion_map

inherit VisitorsRuntime.map

inherit expression_map

method visit_assertion : 'd -> assertion -> assertion