Module Over_comonad.Local

Perform local with an other environment.

Parameters

Signature

type 'a out = Env.t * 'a comonad

Env comonad with an other environment

val run : (env -> Env.t) -> 'a t -> 'a out

Modifies the environment using the specified function.