Idris2Doc : Control.Comonad.Env

Control.Comonad.Env

(source)
Reexports
import public Control.Comonad.Env.Env as Control.Comonad.Env
import public Control.Comonad.Env.Interface as Control.Comonad.Env