Util (snark_params.Snark_params.Tick.Util)

val pack_int : bool list -> int

val boolean_assert_lte : 
  Tick0.Boolean.var ->
  Tick0.Boolean.var ->
  unit Tick0.Checked.t

val assert_decreasing : Tick0.Boolean.var list -> unit Tick0.Checked.t

val nth_bit : int -> n:int -> bool

val apply_mask : 
  Tick0.Boolean.var list ->
  Tick0.Boolean.var list ->
  Tick0.Boolean.var list Tick0.Checked.t

val pack_unsafe : Tick0.Boolean.var list -> Tick0.Field.Var.t

type Snarky_backendless.Request.t +=

| N_ones : bool list Snarky_backendless.Request.t

val n_ones : 
  total_length:int ->
  Tick0.Field.Var.t ->
  Tick0.Boolean.var list Tick0.Checked.t

val assert_num_bits_upper_bound : 
  Tick0.Boolean.var list ->
  Tick0.Field.Var.t ->
  unit Tick0.Checked.t

val num_bits_int : Core_kernel__Int.t -> int

val size_in_bits_size_in_bits : int

type Snarky_backendless.Request.t +=

| Num_bits_upper_bound : Tick0.Field.t Snarky_backendless.Request.t

val num_bits_upper_bound_unchecked : Tick0.Field.t -> int

val num_bits_upper_bound_unpacked : 
  Tick0.Boolean.var list ->
  Tick0.Field.Var.t Tick0.Checked.t

val num_bits_upper_bound : 
  max_length:int ->
  Tick0.Field.Var.t ->
  Tick0.Field.Var.t Tick0.Checked.t