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 [get]

The item name within the module.

type_only @ Bool [get]

Whether this binding is available only in types.