Module Incremental__.At

include Core_kernel.Invariant.S with type t := t
type t
val invariant : t Base__.Invariant_intf.inv
include Incremental__.Sexp_of.S with type t := t
type t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t