type 'k t
=
|
Inc of 'k
Exc of 'k
include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'k) ‑> Sexplib.Sexp.t ‑> 'k t
val sexp_of_t : ('k ‑> Sexplib.Sexp.t) ‑> 'k t ‑> Sexplib.Sexp.t
val compare : ('k ‑> 'k ‑> int) ‑> 'k t ‑> 'k t ‑> int