dimensioned::peano::P6
[−]
[src]
type P6 = Succ<P5>;
The Peano number +6; P6 = Succ<P5>;
type P6 = Succ<P5>;
The Peano number +6; P6 = Succ<P5>;
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)