decidable-0.3.1.0: Combinators for manipulating dependently-typed predicates.

Index - R

runWitAllData.Type.Universe, Data.Type.Predicate.Quantification
runWitSubsetData.Type.Universe.Subset