hax_lib::int

Trait Concretization

Source 
pub trait Concretization<T> {
    // Required method
    fn concretize(self) -> T;
}

Required Methods§

Source

fn concretize(self) -> T

Implementors§