Skip to main content

Module dummy_semiring

zinc_uair

Module dummy_semiring 

Source

Structsยง

DummySemiring
A dummy type implementing FixedSemiring trait. Used for ConstraintCounter to have something that implements FixedSemiring but has zero-cost operations. Can be used in other contexts where operations on expression should be ignored.