dimensioned::peano::Eight
[−]
[src]
type Eight = Succ<Seven>;
type Eight = Succ<Seven>;
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)