package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Logtk.Flex_stateSource

Extensible Map for State

This data structure maps keys to values of any type (although the type is fixed for a given key). Useful for configuration.

Sourcetype t
Sourceval empty : t
Sourcetype 'a key
Sourceval create_key : unit -> 'a key
Sourceval add : 'a key -> 'a -> t -> t
Sourceval get : 'a key -> t -> 'a option
Sourceval get_exn : 'a key -> t -> 'a
Sourceval get_or : or_:'a -> 'a key -> t -> 'a