Over.Local
Perform local with an other environment.
local
module Env : Preface_specs.Types.T0
type 'a out = Env.t * 'a comonad
Env comonad with an other environment
Env
val run : (env -> Env.t) -> 'a t -> 'a out
Modifies the environment using the specified function.