module Store: sig .. end
sig
end
type store
type state
val obtain_state : store -> state
store -> state
val install_state : state -> unit
state -> unit
val add_layer : state -> state
state -> state
val new_layer : store -> state