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

Index - E

ElemData.Type.Universe
elimDisproofData.Type.Predicate
emptySubsetData.Type.Universe.Subset
entailAllData.Type.Predicate.Quantification
entailAllFData.Type.Predicate.Quantification
entailAnyData.Type.Predicate.Quantification
entailAnyFData.Type.Predicate.Quantification
EqByData.Type.Predicate.Param
EqualToData.Type.Predicate
EquivData.Type.Predicate.Logic
EvidentData.Type.Predicate, Data.Type.Predicate.Logic
explosionData.Type.Predicate.Logic