Ast.meta_assertion_mapSource constraint 'c meta_assertion_map = 'c meta_assertion_mapinherit VisitorsRuntime.mapinherit variation_typ_mapinherit scope_var_mapinherit expression_mapmethod visit_FixedBy : 'd ->
(scope_var, Catala_utils.Pos.t) Catala_utils.Marked.t ->
(lident, Catala_utils.Pos.t) Catala_utils.Marked.t ->
meta_assertionmethod visit_VariesWith : 'd ->
(scope_var, Catala_utils.Pos.t) Catala_utils.Marked.t ->
expression ->
(variation_typ, Catala_utils.Pos.t) Catala_utils.Marked.t option ->
meta_assertionmethod visit_meta_assertion : 'd -> meta_assertion -> meta_assertion