pub enum ScanTerm {
Var(VarId),
Const(Term),
}Expand description
An operand in a triple-scan position: a bound constant or a (possibly free) variable. Query blank nodes are treated as fresh variables.
Variants§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for ScanTerm
impl RefUnwindSafe for ScanTerm
impl Send for ScanTerm
impl Sync for ScanTerm
impl Unpin for ScanTerm
impl UnsafeUnpin for ScanTerm
impl UnwindSafe for ScanTerm
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more