Plexing.Locations
type t = {
locations : Ploc.t option array ref;
overflow : bool ref;
}
val create : unit -> t
val lookup : t -> int -> Ploc.t
val add : t -> int -> Ploc.t -> unit