- [ RuleId (CicNotationParser.extend l1 ?precedence ?associativity
- (fun env loc ->
- CicNotationPt.AttributedTerm
- (`Loc loc,TermContentPres.instantiate_level2 env l2))) ]
- else
- []
+ let create_cb (l1, precedence, associativity, l2) =
+ let id =
+ CicNotationParser.extend l1
+ (fun env loc ->
+ CicNotationPt.AttributedTerm
+ (`Loc loc,TermContentPres.instantiate_level2 env l2)) in
+ rule_id := [ RuleId id ];
+ Hashtbl.add rule_ids_to_items id item
+ in
+ RefCounter.incr ~create_cb parser_ref_counter item