Module Expr.PrintSource

Sourcetype 'a t = Format.formatter -> 'a -> unit

Alias for the type printing functions.

Sourceval print_tags : bool ref

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

Sourceval print_index : bool ref

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.

Sourceval id : _ id t

Printer for ids

Sourceval type_ : type_ t

Printer for type_.

Sourceval type_fun : type_fun t

Printer for type_fun.

Sourceval ty_var : ty_var t

Printer to print type variables along with their types.

Sourceval ty_cst : ty_cst t

Printer to print type constants along with their types.

Sourceval term_var : term_var t

Printer to print term variables along with their types.

Sourceval term_cst : term_cst t

Printer to print term constants along with their types.

Sourceval ty : ty t

Printer for types.

Sourceval term : term t

Printer for terms.

Sourceval formula : formula t

Printer for formulas.

Sourceval ty_def : ty_def t

Printer for type definitions.