Struct lnkit::prelude::base::dimension::Const

pub struct Const<const R: usize>;

Trait Implementations

impl<T, const R: usize, const C: usize> Allocator<T, Const<R>, Const<C>> for DefaultAllocator where
    T: Scalar, 

type Buffer = ArrayStorage<T, R, C>

The type of buffer this allocator can instanciate.

pub unsafe fn allocate_uninitialized(
    Const<R>,
    Const<C>
) -> MaybeUninit<<DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer>

Allocates a buffer with the given number of rows and columns without initializing its content.

pub fn allocate_from_iterator<I>(
    nrows: Const<R>,
    ncols: Const<C>,
    iter: I
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    I: IntoIterator<Item = T>, 

Allocates a buffer initialized with the content of the given iterator.

impl<const R: usize> Clone for Const<R>

pub fn clone(&self) -> Const<R>

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T, const R: usize, const C: usize> ContiguousStorage<T, Const<R>, Const<C>> for ArrayStorage<T, R, C> where
    T: Scalar,
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>,
    <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer == ArrayStorage<T, R, C>, 

impl<'a, T, R, CStride> ContiguousStorage<T, R, Const<1_usize>> for SliceStorage<'a, T, R, Const<1_usize>, Const<1_usize>, CStride> where
    T: Scalar,
    R: Dim,
    CStride: Dim, 

impl<'a, T, R, CStride> ContiguousStorage<T, R, Const<1_usize>> for SliceStorageMut<'a, T, R, Const<1_usize>, Const<1_usize>, CStride> where
    T: Scalar,
    R: Dim,
    CStride: Dim, 

impl<T, const R: usize, const C: usize> ContiguousStorageMut<T, Const<R>, Const<C>> for ArrayStorage<T, R, C> where
    T: Scalar,
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>,
    <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer == ArrayStorage<T, R, C>, 

impl<'a, T, R, CStride> ContiguousStorageMut<T, R, Const<1_usize>> for SliceStorageMut<'a, T, R, Const<1_usize>, Const<1_usize>, CStride> where
    T: Scalar,
    R: Dim,
    CStride: Dim, 

impl<const R: usize> Copy for Const<R>

impl<const R: usize> Debug for Const<R>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de, const D: usize> Deserialize<'de> for Const<D>

pub fn deserialize<Des>(
    deserializer: Des
) -> Result<Const<D>, <Des as Deserializer<'de>>::Error> where
    Des: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<const T: usize> Dim for Const<T>

pub fn try_to_usize() -> Option<usize>

Gets the compile-time value of Self. Returns None if it is not known, i.e., if Self = Dynamic.

pub fn value(&self) -> usize

Gets the run-time value of self. For type-level integers, this is the same as Self::try_to_usize().unwrap().

pub fn from_usize(dim: usize) -> Const<T>

Builds an instance of Self from a run-time value. Panics if Self is a type-level integer and dim != Self::try_to_usize().unwrap().

pub fn is<D>() -> bool where
    D: Dim, 

impl<const A: usize, const B: usize> DimAdd<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Add<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Add<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Add<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn add(self, Const<B>) -> <Const<A> as DimAdd<Const<B>>>::Output

impl<const A: usize, const B: usize> DimDiv<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Div<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn div(self, Const<B>) -> <Const<A> as DimDiv<Const<B>>>::Output

impl<const A: usize, const B: usize> DimMax<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Max<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn max(self, Const<B>) -> <Const<A> as DimMax<Const<B>>>::Output

impl<const A: usize, const B: usize> DimMin<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Min<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn min(self, Const<B>) -> <Const<A> as DimMin<Const<B>>>::Output

impl<const A: usize, const B: usize> DimMul<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Mul<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn mul(self, Const<B>) -> <Const<A> as DimMul<Const<B>>>::Output

impl<const T: usize> DimName for Const<T>

pub const USIZE: usize

pub fn name() -> Const<T>

The name of this dimension, i.e., the singleton Self.

pub fn dim() -> usize

The value of this dimension.

impl<const A: usize, const B: usize> DimNameAdd<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Add<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Add<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Add<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn add(self, Const<B>) -> <Const<A> as DimNameAdd<Const<B>>>::Output

impl<const A: usize, const B: usize> DimNameDiv<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Div<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Div<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn div(self, Const<B>) -> <Const<A> as DimNameDiv<Const<B>>>::Output

impl<const A: usize, const B: usize> DimNameMax<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Max<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Max<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn max(self, Const<B>) -> <Const<A> as DimNameMax<Const<B>>>::Output

impl<const A: usize, const B: usize> DimNameMin<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Min<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Min<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn min(self, Const<B>) -> <Const<A> as DimNameMin<Const<B>>>::Output

impl<const A: usize, const B: usize> DimNameMul<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Mul<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Mul<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn mul(self, Const<B>) -> <Const<A> as DimNameMul<Const<B>>>::Output

impl<const A: usize, const B: usize> DimNameSub<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Sub<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn sub(self, Const<B>) -> <Const<A> as DimNameSub<Const<B>>>::Output

impl<const A: usize, const B: usize> DimSub<Const<B>> for Const<A> where
    Const<A>: ToTypenum,
    Const<B>: ToTypenum,
    <Const<A> as ToTypenum>::Typenum: Sub<<Const<B> as ToTypenum>::Typenum>,
    <<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output: ToConst, 

type Output = <<<Const<A> as ToTypenum>::Typenum as Sub<<Const<B> as ToTypenum>::Typenum>>::Output as ToConst>::Const

pub fn sub(self, Const<B>) -> <Const<A> as DimSub<Const<B>>>::Output

impl<const R: usize> Eq for Const<R>

impl<const R: usize> Hash for Const<R>

pub fn hash<__H>(&self, state: &mut __H) where
    __H: Hasher, 

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl IsNotStaticOne for Const<{_: usize}>

impl<const R: usize> PartialEq<Const<R>> for Const<R>

pub fn eq(&self, other: &Const<R>) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<T, CTo, const RFROM: usize, const CFROM: usize> Reallocator<T, Const<RFROM>, Const<CFROM>, Dynamic, CTo> for DefaultAllocator where
    T: Scalar,
    CTo: Dim, 

pub unsafe fn reallocate_copy(
    rto: Dynamic,
    cto: CTo,
    buf: ArrayStorage<T, RFROM, CFROM>
) -> VecStorage<T, Dynamic, CTo>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, RTo, const RFROM: usize, const CFROM: usize> Reallocator<T, Const<RFROM>, Const<CFROM>, RTo, Dynamic> for DefaultAllocator where
    T: Scalar,
    RTo: DimName, 

pub unsafe fn reallocate_copy(
    rto: RTo,
    cto: Dynamic,
    buf: ArrayStorage<T, RFROM, CFROM>
) -> VecStorage<T, RTo, Dynamic>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, RFrom, CFrom, const RTO: usize, const CTO: usize> Reallocator<T, RFrom, CFrom, Const<RTO>, Const<CTO>> for DefaultAllocator where
    T: Scalar,
    RFrom: Dim,
    CFrom: Dim,
    DefaultAllocator: Allocator<T, RFrom, CFrom>, 

pub unsafe fn reallocate_copy(
    rto: Const<RTO>,
    cto: Const<CTO>,
    buf: <DefaultAllocator as Allocator<T, RFrom, CFrom>>::Buffer
) -> ArrayStorage<T, RTO, CTO>

Reallocates a buffer of shape (RTo, CTo), possibly reusing a previously allocated buffer buf. Data stored by buf are linearly copied to the output:

impl<T, const R1: usize, const C1: usize, const R2: usize, const C2: usize> ReshapableStorage<T, Const<R1>, Const<C1>, Const<R2>, Const<C2>> for ArrayStorage<T, R1, C1> where
    T: Scalar,
    Const<R1>: ToTypenum,
    Const<C1>: ToTypenum,
    Const<R2>: ToTypenum,
    Const<C2>: ToTypenum,
    <Const<R1> as ToTypenum>::Typenum: Mul<<Const<C1> as ToTypenum>::Typenum>,
    <Const<R2> as ToTypenum>::Typenum: Mul<<Const<C2> as ToTypenum>::Typenum>,
    <<Const<R2> as ToTypenum>::Typenum as Mul<<Const<C2> as ToTypenum>::Typenum>>::Output == <<Const<R1> as ToTypenum>::Typenum as Mul<<Const<C1> as ToTypenum>::Typenum>>::Output, 

type Output = ArrayStorage<T, R2, C2>

The reshaped storage type.

pub fn reshape_generic(
    self,
    Const<R2>,
    Const<C2>
) -> <ArrayStorage<T, R1, C1> as ReshapableStorage<T, Const<R1>, Const<C1>, Const<R2>, Const<C2>>>::Output

Reshapes the storage into the output storage type.

impl<const D: usize> Serialize for Const<D>

pub fn serialize<S>(
    &self,
    serializer: S
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.

impl<T, const R: usize, const C: usize> Storage<T, Const<R>, Const<C>> for ArrayStorage<T, R, C> where
    T: Scalar,
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>,
    <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer == ArrayStorage<T, R, C>, 

type RStride = Const<1_usize>

The static stride of this storage’s rows.

type CStride = Const<R>

The static stride of this storage’s columns.

pub fn ptr(&self) -> *const T

The matrix data pointer.

pub fn shape(&self) -> (Const<R>, Const<C>)

The dimension of the matrix at run-time. Arr length of zero indicates the additive identity element of any dimension. Must be equal to Self::dimension() if it is not None.

pub fn strides(
    &self
) -> (<ArrayStorage<T, R, C> as Storage<T, Const<R>, Const<C>>>::RStride, <ArrayStorage<T, R, C> as Storage<T, Const<R>, Const<C>>>::CStride)

The spacing between consecutive row elements and consecutive column elements.

pub fn is_contiguous(&self) -> bool

Indicates whether this data buffer stores its elements contiguously.

pub fn into_owned(
    self
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>, 

Builds a matrix data storage that does not contain any reference.

pub fn clone_owned(
    &self
) -> <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer where
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>, 

Clones this data storage to one that does not contain any reference.

pub fn as_slice(&self) -> &[T]

Retrieves the data buffer as a contiguous slice.

pub fn linear_index(&self, irow: usize, icol: usize) -> usize

Compute the index corresponding to the irow-th row and icol-th column of this matrix. The index must be such that the following holds:

pub unsafe fn get_address_unchecked_linear(&self, i: usize) -> *const T

Gets the address of the i-th matrix component without performing bound-checking.

pub unsafe fn get_address_unchecked(&self, irow: usize, icol: usize) -> *const T

Gets the address of the i-th matrix component without performing bound-checking.

pub unsafe fn get_unchecked_linear(&self, i: usize) -> &T

Retrieves a reference to the i-th element without bound-checking.

pub unsafe fn get_unchecked(&self, irow: usize, icol: usize) -> &T

Retrieves a reference to the i-th element without bound-checking.

impl<T, const R: usize, const C: usize> StorageMut<T, Const<R>, Const<C>> for ArrayStorage<T, R, C> where
    T: Scalar,
    DefaultAllocator: Allocator<T, Const<R>, Const<C>>,
    <DefaultAllocator as Allocator<T, Const<R>, Const<C>>>::Buffer == ArrayStorage<T, R, C>, 

pub fn ptr_mut(&mut self) -> *mut T

The matrix mutable data pointer.

pub fn as_mut_slice(&mut self) -> &mut [T]

Retrieves the mutable data buffer as a contiguous slice.

pub unsafe fn get_address_unchecked_linear_mut(&mut self, i: usize) -> *mut T

Gets the mutable address of the i-th matrix component without performing bound-checking.

pub unsafe fn get_address_unchecked_mut(
    &mut self,
    irow: usize,
    icol: usize
) -> *mut T

Gets the mutable address of the i-th matrix component without performing bound-checking.

pub unsafe fn get_unchecked_linear_mut(&mut self, i: usize) -> &mut T

Retrieves a mutable reference to the i-th element without bound-checking.

pub unsafe fn get_unchecked_mut(&mut self, irow: usize, icol: usize) -> &mut T

Retrieves a mutable reference to the element at (irow, icol) without bound-checking.

pub unsafe fn swap_unchecked_linear(&mut self, i1: usize, i2: usize)

Swaps two elements using their linear index without bound-checking.

pub unsafe fn swap_unchecked(
    &mut self,
    row_col1: (usize, usize),
    row_col2: (usize, usize)
)

Swaps two elements without bound-checking.

impl<const R: usize> StructuralEq for Const<R>

impl<const R: usize> StructuralPartialEq for Const<R>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UTerm, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UTerm, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UTerm, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UTerm, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UTerm

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UTerm, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UTerm, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B1>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B1>, B0>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>, B0>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>, B0>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>

impl ToTypenum for Const<{_: usize}>

type Typenum = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>