(** {2 Parsing functions} *)
-val parse_term: char Stream.t -> DisambiguateTypes.term
-val parse_statement: char Stream.t -> (CicAst.term, string) TacticAst.statement
+val parse_term: char Stream.t -> DisambiguateTypes.term
+val parse_statement:
+ char Stream.t -> (CicAst.term, TacticAst.obj,string) TacticAst.statement
val parse_statements:
- char Stream.t -> (CicAst.term, string) TacticAst.statement list
+ char Stream.t -> (CicAst.term, TacticAst.obj, string) TacticAst.statement list
(** {2 Grammar extensions} *)