canonical
A TermFormatter rendering terms in fully canonical functor(arg1, ..., argN) form, ignoring operators entirely and quoting functors only when necessary.
A TermFormatter rendering terms in fully canonical functor(arg1, ..., argN) form, ignoring operators entirely and quoting functors only when necessary.