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