Digest.Constant
module A : sig ... end
module Stable : sig ... end
type t = Limb_vector.Constant.Hex64.t A.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val to_bits :
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec ->
bool list
val of_bits :
bool list ->
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec
val of_tock_field :
Backend.Tock.Field.t ->
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec
val dummy : t
val zero : t
val to_tick_field :
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec ->
Backend.Tick.Field.t
val to_tock_field :
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec ->
Backend.Tock.Field.t
val of_tick_field :
Backend.Tick.Field.t ->
( int64, Pickles_types.Nat.N4.n ) Pickles_types.Vector.vec