discrete 0.6.0

Combinatorial phantom types for discrete mathematics
Documentation
1
2
3
4
5
/// Implemented by spaces that can count the number of objects.
pub trait Count<T, N> {
    /// Counts the size of space given the dimensions.
    fn count(&self, dim: &T) -> N;
}