Module r1cs::expression

Structs

BinaryExpression	A BinaryExpression is comprised of several bits, each one being a BooleanExpression. The sequence of bits is often interpreted as an unsigned integer for the purpose of binary arithmetic. When doing so, our convention is to treat the left-most bit as the least significant, and the right-most bit as the most significant.
BooleanExpression	An Expression whose value is known to be binary.
Expression	A linear combination of wires.