Module Packed.As_list

As_list allows one to view a node as a list w.r.t. a particular next pointer contained within it. The recompute heap uses this with next_in_recompute_heap, and the adjust-heights heap uses this with next_in_adjust_heights_heap.

Parameters

Signature

type t = Incremental__.Types.Node.Packed.t Incremental__.Import.Uopt.t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
include Core_kernel.Invariant.S with type t := t
type t
val invariant : t Base__.Invariant_intf.inv
val length : t -> int
val iter : t -> f:(Incremental__.Types.Node.Packed.t -> unit) -> unit