val compare_rule_id : rule_id -> rule_id -> int
-val check_l1_pattern: (* level1_pattern *)
- CicNotationPt.term -> int -> Gramext.g_assoc -> checked_l1_pattern
+val check_l1_pattern: (* level1_pattern, pponly, precedence, assoc *)
+ CicNotationPt.term -> bool -> int -> Gramext.g_assoc -> checked_l1_pattern
val extend:
checked_l1_pattern ->