----------------------------------------------------------------------
print_term_by_grammar                                          (Parse)
----------------------------------------------------------------------
print_term_by_grammar :
  (type_grammar.grammar * term_grammar.grammar) -> term -> unit

SYNOPSIS
Prints a term to standard out, using grammars to specify how.

DESCRIBE
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.

SEEALSO
Parse.print_from_grammars.

----------------------------------------------------------------------