object
method book_allocation : Plasma_shm.id -> int -> unit
method condition : Plasma_shm.kind -> Plasma_shm.condition
method delayed_allocation : Plasma_shm.id -> int -> unit
method dump : string
method new_id : Plasma_shm.kind -> Plasma_shm.id
method push : unit -> unit
method wm : Plasma_shm.kind -> Plasma_shm.watermarks
end
