package prbnmcn-basic-structures

  1. Overview
  2. Docs

First-class mutable storage.

type 'a m = 'a m
type t

The type of mutable storage.

type elt

The type of data stored in the storage.

val create : elt m -> t m

create v creates a mutable storage with initial content v.

val set : t m -> elt m -> unit m

Update a mutable storage.

val get : t m -> elt m

Get the current value in a mutable storage.


Innovation. Community. Security.