S_bin_io_compare_hash_sexp (core_kernel.Core_kernel__.Validated_intf.S_bin_io_compare_hash

include S

type ('raw, 'witness) validated

type witness

type raw

type t = (raw, witness) validated

include sig ... end

val t_of_sexp : Sexplib.Sexp.t ‑> t

val sexp_of_t : t ‑> Sexplib.Sexp.t

val create : raw ‑> t Core_kernel.Or_error.t

val create_exn : raw ‑> t

val raw : t ‑> raw

include sig ... end with type t := t

type t = (raw, witness) validated

include sig ... end

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 compare : t ‑> t ‑> Core_kernel__.Import.int

val bin_t : t Bin_prot.Type_class.t

val bin_read_t : t Bin_prot.Read.reader

val __bin_read_t__ : (Core_kernel__.Import.int ‑> t) Bin_prot.Read.reader

val bin_reader_t : t Bin_prot.Type_class.reader

val bin_size_t : t Bin_prot.Size.sizer

val bin_write_t : t Bin_prot.Write.writer

val bin_writer_t : t Bin_prot.Type_class.writer

val bin_shape_t : Bin_prot.Shape.t