Key2 : Key
Key1 : Key
type 'data t
= (Key1.t, Key2.t, 'data) t
include sig ... end
val sexp_of_t : ('data ‑> Base.Sexp.t) ‑> 'data t ‑> Base.Sexp.t
include Core.Equal.S1 with type a t := a t
type 'a t
val equal : 'a Core.Equal.equal ‑> 'a t Core.Equal.equal
val create : unit ‑> 'data t