type 'a t
=
|
Necessary of 'a
Changed of 'a * 'a
Invalidated
Unnecessary
include sig ... end
val compare : ('a ‑> 'a ‑> int) ‑> 'a t ‑> 'a t ‑> int
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> 'a t ‑> Base.Sexp.t