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

type var = Impl.Boolean.var list

type value = Vector.UInt64.t

val typ : ( var, value ) Impl.Typ.t

val var_to_bits : var -> Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t

val var_of_bits : Impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t -> var

val var_to_triples : var -> Impl.Boolean.var Tuple_lib.Triple.t list

val var_of_value : value -> var

val size_in_bits : int