Enum erg_compiler::varinfo::ParamIdx
source · [−]Expand description
e.g.
K(T, [U, V]) = ...
U.idx == Nested(Just(1), 0)
Variants
Nth(usize)
Nested(Box<ParamIdx>, usize)
Implementations
Trait Implementations
sourceimpl PartialEq<ParamIdx> for ParamIdx
impl PartialEq<ParamIdx> for ParamIdx
impl Eq for ParamIdx
impl StructuralEq for ParamIdx
impl StructuralPartialEq for ParamIdx
Auto Trait Implementations
impl RefUnwindSafe for ParamIdx
impl Send for ParamIdx
impl Sync for ParamIdx
impl Unpin for ParamIdx
impl UnwindSafe for ParamIdx
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more