type checked_l1_pattern = private CL1P of NotationPt.term * int
(** {2 Parsing functions} *)
(** concrete syntax pattern: notation level 1, the
* integer is the precedence *)
type checked_l1_pattern = private CL1P of NotationPt.term * int
(** {2 Parsing functions} *)
(** concrete syntax pattern: notation level 1, the
* integer is the precedence *)