Skip to content

PreludeItem

An item bound by the prelude.

Like PreludeModule, its names are Str values rather than spans, and it appears only where the binding it introduces is referenced.

Inherits from: Import

Fields

item @ Str

The item name within the module.