(** {2 Grammar extensions} *)
+ (** recursive rule *)
val term: CicTextualParser2Ast.term Grammar.Entry.e
-val return_term: CicTextualParser2Ast.location -> CicTextualParser2Ast.term -> CicTextualParser2Ast.term
+ (** top level rule *)
+val term0: CicTextualParser2Ast.term Grammar.Entry.e
+
+val return_term:
+ CicTextualParser2Ast.location -> CicTextualParser2Ast.term ->
+ CicTextualParser2Ast.term
(** raise a parse error *)
val fail: CicTextualParser2Ast.location -> string -> 'a