Status.Update
type !'a t = 'a Incremental.Update.t =
| Necessary of 'a
| Changed of 'a * 'a
| Invalidated
| Unnecessary
val compare : ( 'a -> 'a -> int ) -> 'a t -> 'a t -> int
val sexp_of_t : ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) -> 'a t -> Ppx_sexp_conv_lib.Sexp.t