exception Parse_error of string
exception Level_not_found of int
+type checked_l1_pattern = private CL1P of CicNotationPt.term * int
+
(** {2 Parsing functions} *)
(** concrete syntax pattern: notation level 1 *)
type rule_id
+val check_l1_pattern: (* level1_pattern *)
+ CicNotationPt.term -> int -> Gramext.g_assoc -> checked_l1_pattern
+
val extend:
- CicNotationPt.term -> (* level 1 pattern *)
- precedence:int ->
- associativity:Gramext.g_assoc ->
+ checked_l1_pattern ->
(CicNotationEnv.t -> CicNotationPt.location -> CicNotationPt.term) ->
rule_id