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

Index - G

genAllData.Type.Universe
getWitData.Type.Predicate