package bancos

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Gc.MakeSource

Parameters

module C : S

Signature

Sourcetype memory = C.memory
Sourceval gen : unit -> uid
Sourceval 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