Type Definition phtm::InvariantOver[][src]

pub type InvariantOver<T> = PhantomData<fn(_: T) -> T>;
Expand description

Marks a type as invariant.

See the crate root documentation for details on variance.