Module dependent_ghost::named

Traits

Named

A trait describing a value annotated with a type-level name.

Functions

name	Annotate a value with a type-level name.