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