UInt64 (snark_bits.Snark_bits.Bits.Snarkable.UInt64)

Parameters

module Impl : Snarky_backendless.Snark_intf.S

val size_in_bits : int

module Packed : sig ... end

module Unpacked : sig ... end

val pack_value : Unpacked.value -> Packed.value

val unpack_value : Packed.value -> Unpacked.value

val pack_var : Unpacked.var -> Packed.var

val unpack_var : Packed.var -> Unpacked.var Impl.Checked.t

val compare_var : 
  Unpacked.var ->
  Unpacked.var ->
  Impl.Field.Checked.comparison_result Impl.Checked.t

val increment_var : Unpacked.var -> Unpacked.var Impl.Checked.t

val increment_if_var : 
  Unpacked.var ->
  Impl.Boolean.var ->
  Unpacked.var Impl.Checked.t

val assert_equal_var : Unpacked.var -> Unpacked.var -> unit Impl.Checked.t

val equal_var : Unpacked.var -> Unpacked.var -> Impl.Boolean.var Impl.Checked.t

val var_of_field : Impl.Field.Var.t -> Unpacked.var Impl.Checked.t

val var_of_field_unsafe : Impl.Field.Var.t -> Packed.var

val if_ : 
  Impl.Boolean.var ->
  then_:Unpacked.var ->
  else_:Unpacked.var ->
  Unpacked.var Impl.Checked.t