package store
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Store.Ref
Source
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.