discrete 0.2.1

Combinatorial phantom types for discrete mathematics
Documentation
/// Used to construct an uninitialized element of a discrete space.
pub trait Zero<T, U> {
    /// Creates a default element.
    fn zero(&self, dim: &T) -> U;
}