Crate existential

Existential types in Rust, offering existential quantification over lifetimes, but as a library. This works because Rust has parametricity for generic lifetime arguments.

TODO: this crate is still undocumented.

Structs

Existential

Traits

TyCon

TyConFor

Type Aliases

Apply