hax_lib::int

Trait Abstraction

Source
pub trait Abstraction {
    type AbstractType;

    // Required method
    fn lift(self) -> Self::AbstractType;
}

Required Associated Types§

Required Methods§

Source

fn lift(self) -> Self::AbstractType

Implementations on Foreign Types§

Source§

impl Abstraction for u8

Implementors§