Module type Core_kernel.Validated.S_bin_io_compare_hash_sexp

include Core_kernel__.Validated_intf.S
type ('raw, 'witness) validated
type witness
type raw
type t = (rawwitnessvalidated
include sig ... end
val t_of_sexp : Base.Sexp.t ‑> t
val sexp_of_t : t ‑> Base.Sexp.t
val create : raw ‑> t Or_error.t
val create_exn : raw ‑> t
val raw : t ‑> raw
include sig ... end with type t := t
type t = (rawwitnessvalidated
include sig ... end
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
val compare : t ‑> t ‑> Core_kernel__.Import.int
val hash_fold_t : Base.Hash.state ‑> t ‑> Base.Hash.state
val hash : t ‑> Base.Hash.hash_value