package core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type nonrec ('f, 's) t = ('f, 's) t =
  1. | First of 'f
  2. | Second of 's
val stable_witness : 'a Ppx_stable_witness_runtime.Stable_witness.t -> 'b Ppx_stable_witness_runtime.Stable_witness.t -> ('a, 'b) t Ppx_stable_witness_runtime.Stable_witness.t
include Bin_prot.Binable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t
val bin_shape_t : Bin_prot__.Shape.t -> Bin_prot__.Shape.t -> Bin_prot__.Shape.t
val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Size.sizer2
val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Write.writer2
val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Read.reader2
val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot__.Read.reader2
val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.writer
val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.reader
val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.t
include Ppx_compare_lib.Comparable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t
val compare : 'a Base__Ppx_compare_lib.compare -> 'b Base__Ppx_compare_lib.compare -> ('a, 'b) t Base__Ppx_compare_lib.compare
include Sexplib0.Sexpable.S2 with type ('a1, 'a2) t := ('a1, 'a2) t
val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> (Sexplib0__.Sexp.t -> 'b) -> Sexplib0__.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib0__.Sexp.t) -> ('b -> Sexplib0__.Sexp.t) -> ('a, 'b) t -> Sexplib0__.Sexp.t
val map : ('a1, 'a2) t -> f1:('a1 -> 'b1) -> f2:('a2 -> 'b2) -> ('b1, 'b2) t
OCaml

Innovation. Community. Security.