Struct egg::Id [−][src]
pub struct Id(_);
Trait Implementations
Given an Id
using the egraph[id]
syntax, retrieve the e-class.
Given an Id
using the &mut egraph[id]
syntax, retrieve a mutable
reference to the e-class.
Checks if n is an acceptable number of children for this type.
Create an instance of this type from a Vec<Id>
,
with the guarantee that can_be_length is already true on the Vec
. Read more
Returns a mutable slice of the children Id
s.
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
Blanket Implementations
Mutably borrows from an owned value. Read more
Compare self to key
and return true
if they are equal.