ssa_traits

Trait TypedValue

Source 
pub trait TypedValue<F: TypedFunc<Values: Arena<F::Value, Output = Self>> + ?Sized>: Value<F> {
    // Required method
    fn ty(&self, f: &F) -> F::Ty;
}

Required Methods§

Source

fn ty(&self, f: &F) -> F::Ty

Implementors§