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_command: char Stream.t -> DisambiguateTypes.command
-val parse_script: char Stream.t -> DisambiguateTypes.script
(** {2 Grammar extensions} *)