sig
type 'a t =
'a Blang.Stable.V1.t = private
True
| False
| And of 'a Blang.Stable.V1.t * 'a Blang.Stable.V1.t
| Or of 'a Blang.Stable.V1.t * 'a Blang.Stable.V1.t
| Not of 'a Blang.Stable.V1.t
| If of 'a Blang.Stable.V1.t * 'a Blang.Stable.V1.t *
'a Blang.Stable.V1.t
| Base of 'a
val compare :
('a -> 'a -> int) -> 'a Blang.Stable.V1.t -> 'a Blang.Stable.V1.t -> int
val bin_t :
'a Bin_prot.Type_class.t -> 'a Blang.Stable.V1.t Bin_prot.Type_class.t
val bin_read_t :
'a Bin_prot.Unsafe_read_c.reader ->
'a Blang.Stable.V1.t Bin_prot.Read_ml.reader
val bin_read_t_ :
'a Bin_prot.Unsafe_read_c.reader ->
'a Blang.Stable.V1.t Bin_prot.Unsafe_read_c.reader
val bin_read_t__ :
'a Bin_prot.Unsafe_read_c.reader ->
(int -> 'a Blang.Stable.V1.t) Bin_prot.Unsafe_read_c.reader
val bin_reader_t :
'a Bin_prot.Type_class.reader ->
'a Blang.Stable.V1.t Bin_prot.Type_class.reader
val bin_size_t :
'a Bin_prot.Size.sizer -> 'a Blang.Stable.V1.t Bin_prot.Size.sizer
val bin_write_t :
'a Bin_prot.Unsafe_write_c.writer ->
'a Blang.Stable.V1.t Bin_prot.Write_ml.writer
val bin_write_t_ :
'a Bin_prot.Unsafe_write_c.writer ->
'a Blang.Stable.V1.t Bin_prot.Unsafe_write_c.writer
val bin_writer_t :
'a Bin_prot.Type_class.writer ->
'a Blang.Stable.V1.t Bin_prot.Type_class.writer
val t_of_sexp :
(Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Blang.Stable.V1.t
val sexp_of_t :
('a -> Sexplib.Sexp.t) -> 'a Blang.Stable.V1.t -> Sexplib.Sexp.t
end