Challenge.Constantmodule A : sig ... endtype t = ( int64, Pickles_types.Nat.N2.n ) Pickles_types.Vector.vecval to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval t_of_sexp : Sexplib0__.Sexp.t -> tval sexp_of_t : t -> Sexplib0__.Sexp.tval hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.stateval hash : t -> Ppx_hash_lib.Std.Hash.hash_valueval to_bits : t -> bool listval of_bits : bool list -> tval of_tick_field : Backend.Tick.Field.t -> tval of_tock_field : Backend.Tock.Field.t -> tval to_tick_field : t -> Backend.Tick.Field.tval to_tock_field : t -> Backend.Tock.Field.tval dummy : tval zero : t