1signature wordspp =
2sig
3
4  val words_printer : term_grammar.userprinter
5  val words_cast_printer : term_grammar.userprinter
6
7end
8