snarkvm_circuit_environment::helpers::count

Type Alias Constraints

Source
pub type Constraints = Measurement<u64>;

Aliased Type§

enum Constraints {
    Exact(u64),
    Range(u64, u64),
    UpperBound(u64),
}

Variants§

§

Exact(u64)

§

Range(u64, u64)

§

UpperBound(u64)