BodyAnnotation

All arguments to this annotation in a single flat list

A string representation of the annotation. Overridden in BodyAnnotation.

A fallback text representation, if the pattern matching in Printers does not have a case for this showable element

Operations for hash-consing, can be overridden

The tree evaluation has finished.

The tree evaluaton is in progress.

Normally, applies a type map to all tree nodes of this annotation, but can be overridden. Returns EmptyAnnotation if type type map produces a range type, since ranges cannot be types of trees.

Does this annotation refer to a parameter of tl?

The string representation of this showable element.

The string representation with each line after the first one indented by the given given margin (in spaces).

The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.