Module Data_hash_lib.State_hash

include Data_hash.Full_size
include Data_hash_intf.Basic
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val gen : t Core_kernel.Quickcheck.Generator.t
type var
val var_to_hash_packed : var -> Random_oracle.Checked.Digest.t
val assert_equal : var -> var -> unit Snark_params.Tick.Checked.t
val var_of_t : t -> var
include Snark_bits.Bits_intf.S with type t := t
include Snark_bits.Bits_intf.Basic with type t := t
val fold : t -> bool Fold_lib.Fold.t
val size_in_bits : int
val iter : t -> f:( bool -> unit ) -> unit
val to_bits : t -> bool list
include Core_kernel.Comparable.S with type t := t
val (>=) : t -> t -> bool
val (<=) : t -> t -> bool
val (=) : t -> t -> bool
val (>) : t -> t -> bool
val (<) : t -> t -> bool
val (<>) : t -> t -> bool
val equal : t -> t -> bool
val min : t -> t -> t
val max : t -> t -> t
val ascending : t -> t -> int
val descending : t -> t -> int
val between : t -> low:t -> high:t -> bool
val clamp_exn : t -> min:t -> max:t -> t
val clamp : t -> min:t -> max:t -> t Base__.Or_error.t
type comparator_witness
val comparator : ( t, comparator_witness ) Base__Comparator.comparator
val validate_lbound : min:t Base__.Maybe_bound.t -> t Base__.Validate.check
val validate_ubound : max:t Base__.Maybe_bound.t -> t Base__.Validate.check
val validate_bound : min:t Base__.Maybe_bound.t -> max:t Base__.Maybe_bound.t -> t Base__.Validate.check
module Replace_polymorphic_compare : sig ... end
module Map : sig ... end
module Set : sig ... end
include Core_kernel.Hashable with type t := t
val compare : t -> t -> Core_kernel__.Import.int
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 hashable : t Core_kernel__.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
val if_ : Snark_params.Tick.Boolean.var -> then_:var -> else_:var -> var Snark_params.Tick.Checked.t
val var_of_hash_packed : Random_oracle.Checked.Digest.t -> var
val var_to_field : var -> Random_oracle.Checked.Digest.t
val of_hash : Snark_params.Tick.Field.t -> t
val to_field : t -> Snark_params.Tick.Field.t
include Codable.Base58_check_intf with type t := t
val to_base58_check : t -> string

explicit Base58Check encoding

include Codable.Base58_check_base_intf with type t := t
val of_base58_check : string -> t Base.Or_error.t

Base58Check decoding

val of_base58_check_exn : string -> t

Base58Check decoding

val raw_hash_bytes : t -> string
val to_bytes : [ `Use_to_base58_check_or_raw_hash_bytes ]
val dummy : t
val to_decimal_string : t -> string
val of_decimal_string : string -> t
module Stable : sig ... end
val deriver : < contramap : ( t -> Yojson.Safe.t ) Core_kernel.ref ; graphql_arg : ( unit -> Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_fields : Yojson.Safe.t Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; graphql_query_accumulator : (string * string option) list Core_kernel.ref ; map : ( Yojson.Safe.t -> t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : Yojson.Safe.t option Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref ; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref ; js_layout : Yojson.Safe.t Core_kernel.ref.. > as 'a Fields_derivers_zkapps.Unified_input.t Fields_derivers_zkapps.Unified_input.t Fields_derivers_zkapps.Unified_input.t -> 'a Fields_derivers_zkapps.Unified_input.t