Module Data.State

type descriptor
val new_descriptor : unit -> descriptor
val merge_descriptors : descriptor -> descriptor -> descriptor
type 'a component
val declare : descriptor:descriptor -> name:string -> pp:(Format.formatter -> 'a -> unit) -> init:(unit -> 'a) -> clause_compilation_is_over:('a -> 'a) -> ?goal_compilation_begins:('a -> 'a) -> compilation_is_over:('a -> 'a option) -> execution_is_over:('a -> 'a option) -> unit -> 'a component
type t
val init : descriptor -> t
val end_clause_compilation : t -> t
val begin_goal_compilation : t -> t
val end_compilation : t -> t
val end_execution : t -> t
val get : 'a component -> t -> 'a
val set : 'a component -> t -> 'a -> t
val drop : 'a component -> t -> t
val update : 'a component -> t -> ('a -> 'a) -> t
val update_return : 'a component -> t -> ('a -> 'a * 'b) -> t * 'b
val pp : Format.formatter -> t -> unit
val dummy : t