discrete (cargo): Combinatorial phantom types for discrete mathematics
Keywords: mathematics|combinatorics|phantom-types|combinatorial-phantom-types|discrete-mathematics|rust