Module updatable_count

Structs

• UpdatableCount
  A helper struct for tracking the number of constants, public inputs, private inputs, and constraints. Warning: Do not construct this struct directly. Instead, use the count_is! and count_less_than! macros.