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

Index - U

unionData.Type.Universe.Subset
UniverseData.Type.Universe