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