(** {2 Parsing functions} *)
(** concrete syntax pattern: notation level 1 *)
-val parse_syntax_pattern: char Stream.t -> CicNotationPt.term
+val parse_level1_pattern: char Stream.t -> CicNotationPt.term
(** AST pattern: notation level 2 *)
-val parse_ast_pattern: char Stream.t -> CicNotationPt.term
+val parse_level2_ast: char Stream.t -> CicNotationPt.term
(** interpretation: notation level 3 *)
val parse_interpretation: char Stream.t -> CicNotationPt.cic_appl_pattern
val delete: rule_id -> unit
+(** {2 Standard precedences} *)
+
+val let_in_prec: int
+val binder_prec: int
+val apply_prec: int
+val simple_prec: int
+
+val let_in_assoc: Gramext.g_assoc
+val binder_assoc: Gramext.g_assoc
+val apply_assoc: Gramext.g_assoc
+val simple_assoc: Gramext.g_assoc
+
(** {2 Debugging} *)
(** print "level2_pattern" entry on stdout, flushing afterwards *)