package ppx_typed_fields

  1. Overview
  2. Docs

Packed is useful for making collections of 'a t's with different 'a's.

type ('t1, 't2, 't3, 't4, 't5, 'a) field := ('t1, 't2, 't3, 't4, 't5, 'a) t
type ('t1, 't2, 't3, 't4, 't5) t' =
  1. | T : ('t1, 't2, 't3, 't4, 't5, 'a) field -> ('t1, 't2, 't3, 't4, 't5) t'
type t = {
  1. f : 't1 't2 't3 't4 't5. ('t1, 't2, 't3, 't4, 't5) t';
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val sexp_of_t : t -> Base.Sexp.t
val t_of_sexp : Base.Sexp.t -> t
val all : t Base.list
val pack : ('t1, 't2, 't3, 't4, 't5, 'a) field -> t
OCaml

Innovation. Community. Security.