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_term: char Stream.t -> DisambiguateTypes.term
val parse_tactic: char Stream.t -> DisambiguateTypes.tactic
val parse_tactical: char Stream.t -> DisambiguateTypes.tactical