[−][src]Trait trait_eval::Nat

pub trait Nat { }

The type of natural numbers (0..)

Implementors

impl Nat for Zero[src]

impl<T: Nat> Nat for Succ<T>[src]

Loading content...