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
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 T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
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