Idris2Doc : Data.CheckedEmpty.List.Lazy.Properties

Data.CheckedEmpty.List.Lazy.Properties

(source)
Reexports
import public Data.CheckedEmpty.List.Lazy.Properties.Map
import public Data.CheckedEmpty.List.Lazy.Properties.Quantifiers