Idx

miden_utils_indexing

Trait Idx 

Source 
pub trait Idx:
    Copy
    + Eq
    + Ord
    + Debug
    + From<u32>
    + Into<u32> {
    // Provided method
    fn to_usize(self) -> usize { ... }
}
Expand description

A trait for u32-backed, 0-based IDs.

Provided Methods§

Source

fn to_usize(self) -> usize

Convert from this ID type to usize.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§