package crdt-ml

You can search for identifiers within the package.

in-package search v0.2.0

package crdt-ml

crdt
- Crdt
  - Immutable
  - Mutable
crdt_immutable
- I_GCounter
- I_GSet
  - Make
    
    O
- I_IntVector
- I_ORSet
  - Make
    
    O
- I_PNCounter
- I_USet
  - Make
    
    O
- Immutable_types
  - Comparable
  - DCounter
  - GSet
  - IVector
  - Mergeable
  - RSet
crdt_mutable
- M_GCounter
- M_GSet
  - Make
    
    O
- M_IntVector
- M_ORSet
  - Make
    
    O
- M_PNCounter
- M_USet
  - Make
    
    O
- Mutable_types
  - Comparable
  - DCounter
  - GSet
  - IVector
  - Mergeable
  - RSet
crdt_util
- IList

Legend:
Library
Module
Module type
Parameter
Class
Class type

Grow-Only sets.

Supports add, lookup and merge operations. See Mutable_types.GSet

module Make
  (O : Mutable_types.Comparable) : 
  Mutable_types.GSet with type elt = O.t

Creates an grow-only set of elements satisfying Mutable_types.Comparable