1signature ParseExtras =
2sig
3
4  val tight_equality : unit -> unit
5  val loose_equality : unit -> unit
6  val temp_tight_equality : unit -> unit
7  val temp_loose_equality : unit -> unit
8  val grammar_loose_equality : term_grammar.grammar -> term_grammar.grammar
9  val grammar_tight_equality : term_grammar.grammar -> term_grammar.grammar
10
11  val condprinter : term_grammar.userprinter
12
13end
14