package buffer-pool

  1. Overview
  2. Docs
package buffer-pool
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Buffer_pool.MakeSource

Parameters

module B : Buffer

Signature

Sourcetype t
Sourcetype buffer = B.t
Sourceval alloc : t -> int -> B.t

alloc pool size either creates a buffer of length size or gets an existing buffer which is larger than size

Sourceval release : t -> buffer -> unit

release pool b returns b to the buffer pool

Sourceval make : unit -> t

make () creates a new buffer pool.