Make (p.bancos.0.0.1.doc.bancos.gc.Gc.Make)

Parameters

module C : S

Sourcetype memory = C.memory

Sourceval gen : unit -> uid

val alloc : 
  memory t ->
  writer:uid ->
  kind:[ `Node | `Leaf ] ->
  int ->
  string list ->
  Rowex.rdwr Rowex.Addr.t

Sourceval collect : 'mem t -> uid -> 'cap Rowex.Addr.t -> len:int -> uid:int -> unit

Sourceval delete : 'mem t -> 'cap Rowex.Addr.t -> int -> unit

Sourceval unsafe_delete : 'mem t -> 'cap Rowex.Addr.t -> int -> unit

Sourceval add_process : 'mem t -> [ `Wr | `Rd ] -> uid

Sourceval release_process : 'mem t -> [ `Wr | `Rd ] -> uid:uid -> unit