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