Trait dimensioned::peano::NonNeg
[−]
[src]
pub trait NonNeg: Peano { }All numbers of the form Succ<N> and Zero will belong to the trait NonNeg.
pub trait NonNeg: Peano { }All numbers of the form Succ<N> and Zero will belong to the trait NonNeg.
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)