-val parse_term: char Stream.t -> DisambiguateTypes.term
-val parse_tactic: char Stream.t -> DisambiguateTypes.tactic
-val parse_tactical: char Stream.t -> DisambiguateTypes.tactical
-val parse_script: char Stream.t -> DisambiguateTypes.script
+val parse_term: char Stream.t -> DisambiguateTypes.term
+val parse_statement: char Stream.t -> (CicAst.term, string) TacticAst.statement
+val parse_statements:
+ char Stream.t -> (CicAst.term, string) TacticAst.statement list