Trait SpecNegTrait Copy item path

pub trait SpecNegTrait {
    type Output;

    // Required method
    spec fn spec_neg(self) -> Self::Output;
}

Required Associated Types§

Required Methods§

Implementors§