Skip to main content

Module dummy_semiring

Module dummy_semiring 

Source

Structs§

DummySemiring
A dummy type implementing the Semiring trait. Used for ConstraintCounter to have something that implements Semiring (and hence bridges to a SemiringConfig via FixedConfig) but has zero-cost operations. Can be used in other contexts where operations on expression should be ignored.

Statics§

DUMMY_SEMIRING_CONFIG

Type Aliases§

DummySemiringConfig