package shared-block-ring

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package shared-block-ring

shared-block-ring
- Shared_block
  - EraseBlock
    
    Make
    
    B
  - Journal
    
    Make
    
    Block
    
    Clock
    
    Log
    
    Operation
  - Ring
    
    Make
    
    B
    
    Consumer
    
    Item
    
    Log
    
    Producer
  - S
    
    CLOCK
    
    COMPARABLE
    
    CONSUMER
    
    CSTRUCTABLE
    
    JOURNAL
    
    LOG
    
    PRODUCER
    
    RING

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Log : S.LOG

module B : S.BLOCK

module Item : S.CSTRUCTABLE

Signature

module Producer : S.PRODUCER with type disk := B.t and type item = Item.t

module Consumer : 
  S.CONSUMER
    with type disk := B.t
     and type position = Producer.position
     and type item = Item.t