Module boolean

This module contains Boolean, an R1CS equivalent of the bool type.

Structs

AllocatedBool

Represents a variable in the constraint system which is guaranteed to be either zero or one.

Enums

Boolean

Represents a boolean value in the constraint system which is guaranteed to be either zero or one.