Module named
dependent_ghost
A trait describing a value annotated with a type-level name.
name
Annotate a value with a type-level name.