Alias for the type printing functions.

Determine whether to print the map of tags for each id/type/term or not.

Determines whether to print the unique index of each identifier or not.

The name tag is used for the printing of identifiers. When an identifier has an name tag, its value is used instead of the identifier intrinsic name.

Positioning for pretty printing. If this tag is set, the printing functions will ignore type arguments (for readability). Pretty.Infix uses the identifier as a separator when printing th argument list Pretty.Prefix just ignore type arguments.

Printer for ids

Printer for type_.

Printer for type_fun.

Printer to print type variables along with their types.

Printer to print type constants along with their types.

Printer to print term variables along with their types.

Printer to print term constants along with their types.

Printer for types.

Printer for terms.

Printer for formulas.

Printer for type definitions.