Function dependent_ghost::named::name

pub fn name<A>(x: A) -> impl Named<A>

Annotate a value with a type-level name.

This function returns an existential impl Named<A> to ensure that names are fresh per invocation. This prevents consumers from providing their own names, which would violate the invariant that named values represent a property of that value.

Note that the above does not quite work correctly in Rust, as the existential names are not necessarily unique between identical invocations.