Over_comonad.Experiment
Applies a function which lift the store to a functor-value and use the accessor to read the resulting focus.
module F : Preface_specs.Functor.API
val run : (store -> store F.t) -> 'a t -> 'a F.t
Perform the accessor for reading the resulting focus.