Return a pretty-printing document for an instance of a binary expression.
Format a type.
Format a lambda expression.
The layout from formatting a type.
The layout from formatting a lambda expression.
Convert an expression node to a pretty-printing document in fully-parenthesised style.
Return a pretty-printing document for an instance of a type.
Return a pretty-printing document for an instance of a type declaration.
Sigma pretty printing.