Global

A member of some top-level symbol having its own signature.

Member symbols describe methods and fields, including duplicates generated by interflow. A can only be described based on their "owner" symbol, which is always Global.Top; members shall not have other members.

A stub to introduce nulls.

Instances of this class are never emitted from actual code. Instead, they can be used as intermediate placeholders during code generation or markers of erroneous code paths. In particular, they can be used to skip null checks.

A top-level symbol.

Top-level symbols describe types (i.e., classes and traits). Note that type aliases are not preserved in NIR.

The names of the product elements

The name of the type

The order between global symbols.