Idris2Doc : Control.Comonad.Traced

Control.Comonad.Traced

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