package store

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

Mutable references inside a given store.

The store must be passed as a first argument to all operations on the references.

Warning: Each reference belongs to a unique store. It is a programming error to use a reference with a store it does not belong to. This programming error will not be caught by the library, and will corrupt the semantics of the reference.

type 'a t
val make : store -> 'a -> 'a t
val get : store -> 'a t -> 'a
val set : store -> 'a t -> 'a -> unit
val eq : store -> 'a t -> 'a t -> bool
OCaml

Innovation. Community. Security.