Module Flex_state

module Flex_state: sig .. end

Extensible Map for State

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