sig
  type t
  val equal : t Core.Std.Equal.equal
  val invariant : t Core.Std.Invariant.inv
  val dead : Kill_index.t
  val initial : Kill_index.t
  val next : Kill_index.t -> Kill_index.t
  val sexp_of_t : Kill_index.t -> Sexplib.Sexp.t
end