Idris2Doc : Data.Refined

Data.Refined

(source)
Reexports
import public Control.Relation
import public Control.Relation.ReflexiveClosure
import public Data.List
import public Data.Refined.List
import public Data.Refined.Nat
import public Data.Refined.Core
import public Decidable.HDecEq
Definitions