Module Picos_domain.DLSSource

Represents a key for storing values of type 'a in storage associated with domains.

new_key compute allocates a new key for associating values in storage associated with domains. The initial value for each domain is computed by calling the given function if the key is read before it has been written. The compute function might be called multiple times per domain, but only one result will be used.

get key returns the value associated with the key in the storage associated with the current domain.

set key value sets the value associated with the key in the storage associated with the current domain.