Module Stable.V1

val to_yojson : 'proof. ( 'proof -> Yojson.Safe.t ) -> 'proof t -> Yojson.Safe.t
val of_yojson : 'proof. ( Yojson.Safe.t -> 'proof Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'proof t Ppx_deriving_yojson_runtime.error_or
val _ : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> 'a t Ppx_deriving_yojson_runtime.error_or
val bin_shape_t : Core_kernel.Bin_prot.Shape.t -> Core_kernel.Bin_prot.Shape.t
val bin_size_t : 'proof. 'proof Core_kernel.Bin_prot.Size.sizer -> 'proof t Core_kernel.Bin_prot.Size.sizer
val bin_write_t : 'proof. 'proof Core_kernel.Bin_prot.Write.writer -> 'proof t Core_kernel.Bin_prot.Write.writer
val bin_writer_t : 'a Core_kernel.Bin_prot.Type_class.writer -> 'b t Core_kernel.Bin_prot.Type_class.writer
val __bin_read_t__ : 'proof. 'proof Core_kernel.Bin_prot.Read.reader -> ( int -> 'proof t ) Core_kernel.Bin_prot.Read.reader
val bin_read_t : 'proof. 'proof Core_kernel.Bin_prot.Read.reader -> 'proof t Core_kernel.Bin_prot.Read.reader
val bin_reader_t : 'a Core_kernel.Bin_prot.Type_class.reader -> 'b t Core_kernel.Bin_prot.Type_class.reader
val bin_t : 'a Core_kernel.Bin_prot.Type_class.t -> 'b t Core_kernel.Bin_prot.Type_class.t
val version : int
val __versioned__ : unit
val compare : 'proof. ( 'proof -> 'proof -> int ) -> 'proof t -> 'proof t -> int
val proof : 'a t -> 'b
module Fields : sig ... end
val t_of_sexp : 'proof. ( Ppx_sexp_conv_lib.Sexp.t -> 'proof ) -> Ppx_sexp_conv_lib.Sexp.t -> 'proof t
val sexp_of_t : 'proof. ( 'proof -> Ppx_sexp_conv_lib.Sexp.t ) -> 'proof t -> Ppx_sexp_conv_lib.Sexp.t
val hash_fold_t : 'proof. ( Ppx_hash_lib.Std.Hash.state -> 'proof -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> 'proof t -> Ppx_hash_lib.Std.Hash.state