hax_lib

Trait RefineAs

Source 
pub trait RefineAs<RefinedType> {
    // Required method
    fn into_checked(self) -> RefinedType;
}

Required Methods§

Source

fn into_checked(self) -> RefinedType

Implementors§