Trait dimensioned::peano::NonZero
[−]
[src]
pub trait NonZero: Peano { }All numbers of the form Succ<M> or Pred<N> will belong to the trait NonZero.
pub trait NonZero: Peano { }All numbers of the form Succ<M> or Pred<N> will belong to the trait NonZero.
Prefix searches with a type followed by a colon (e.g.
fn:) to restrict the search to a given type.
Accepted types are: fn, mod,
struct, enum,
trait, typedef (or
tdef).
Search functions by type signature (e.g.
vec -> usize)