Struct chalk_solve::display::InvertedBoundVar [−][src]
pub struct InvertedBoundVar { /* fields omitted */ }
Expand description
Like a BoundVar, but with the debrujin index inverted so as to create a canonical name we can use anywhere for each bound variable.
In BoundVar, the innermost bound variables have debrujin index 0
, and
each further out BoundVar has a debrujin index 1
higher.
In InvertedBoundVar, the outermost variables have inverted_debrujin_idx 0
,
and the innermost have their depth, not the other way around.
Trait Implementations
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for InvertedBoundVar
impl Send for InvertedBoundVar
impl Sync for InvertedBoundVar
impl Unpin for InvertedBoundVar
impl UnwindSafe for InvertedBoundVar
Blanket Implementations
Mutably borrows from an owned value. Read more
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
fn cast<U>(self, interner: &<U as HasInterner>::Interner) -> U where
Self: CastTo<U>,
U: HasInterner,
Cast a value to type U
using CastTo
.
Compare self to key
and return true
if they are equal.
Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more