Structs§
- Dummy
Semiring - A dummy type implementing the
Semiringtrait. Used forConstraintCounterto have something that implementsSemiring(and hence bridges to aSemiringConfigviaFixedConfig) but has zero-cost operations. Can be used in other contexts where operations on expression should be ignored.