Challenge.Constant
type t = ( int64, Pickles_types.Nat.N2.n ) Pickles_types.Vector.vec
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val to_bits : t -> bool list
val of_bits : bool list -> t
val dummy : t