Struct chalk_ir::UniverseMap [−][src]
pub struct UniverseMap {
pub universes: Vec<UniverseIndex>,
}
Expand description
Maps the universes found in the u_canonicalize
result (the
“canonical” universes) to the universes found in the original
value (and vice versa). When used as a folder – i.e., from
outside this module – converts from “canonical” universes to the
original (but see the UMapToCanonical
folder).
Fields
universes: Vec<UniverseIndex>
A reverse map – for each universe Ux that appears in
quantified
, the corresponding universe in the original was
universes[x]
.
Implementations
Number of canonical universes.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for UniverseMap
impl Send for UniverseMap
impl Sync for UniverseMap
impl Unpin for UniverseMap
impl UnwindSafe for UniverseMap
Blanket Implementations
Mutably borrows from an owned value. Read more
Cast a value to type U
using CastTo
.