Up

Module Packed

Signature

type t = Types.Packed_internal_observer.t =

| T : 'a Types.Internal_observer.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val invariant : t Core_kernel.Invariant_intf.inv

val next_in_all : t -> t Uopt.t

val set_prev_in_all : t -> t Uopt.t -> unit