print_term_by_grammar
Parse.print_term_by_grammar :
(type_grammar.grammar * term_grammar.grammar) -> term -> unit
Prints a term to standard out, using grammars to specify how.
Where print_term uses the (implicit) global grammars to control the
printing of its term argument, the print_term_by_grammar uses
user-supplied grammars. These can control the printing of concrete
syntax (operator fixities and precedency) and the degree of constant
overloading.
Failure
Never fails.