LazyBodyAnnotation

The tree evaluation has finished.

The tree evaluaton is in progress.

All arguments to this annotation in a single flat list

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

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.

A string representation of the annotation. Overridden in BodyAnnotation.