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