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, string) TacticAst.statement