logtk

Core types and algorithms for logic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library logtk
Module Logtk . Flex_state

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.

type t
val empty : t
type 'a key
val create_key : unit -> 'a key
val add : 'a key -> 'a -> t -> t
val get : 'a key -> t -> 'a option
val get_exn : 'a key -> t -> 'a
  • raises Not_found

    if the key is not present

val get_or : or_:'a -> 'a key -> t -> 'a