class type shm_manager = object .. end
object
end
method new_id : unit -> shm_id
unit -> shm_id
method book_allocation : shm_id -> int -> unit
shm_id -> int -> unit
method shm_condition : shm_condition
shm_condition
