Unpacked (snark_bits.Snark_bits.Bits.Snarkable.Field

type var = Impl.Boolean.var list

type value = Impl.Field.t

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

val var_to_bits : 'a list -> 'a Bitstring_lib.Bitstring.Lsb_first.t

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

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

val var_of_value : Impl.Field.t -> Impl.Boolean.var list

val size_in_bits : int