Index - A
| All | Data.Type.Universe, Data.Type.Predicate.Quantification |
| allNotNone | Data.Type.Predicate.Quantification |
| allProd | Data.Type.Universe |
| allToAny | Data.Type.Predicate.Quantification |
| AndP | Data.Type.Predicate.Param |
| Any | Data.Type.Universe, Data.Type.Predicate.Quantification |
| anyImpossible | Data.Type.Predicate.Quantification |
| AnyMatch | Data.Type.Predicate.Param |
| anyNotNotAll | Data.Type.Predicate.Quantification |
| atom | Data.Type.Predicate.Logic |
| Auto | Data.Type.Predicate.Auto |
| auto | Data.Type.Predicate.Auto |
| AutoAll | Data.Type.Predicate.Auto |
| autoAll | Data.Type.Predicate.Auto |
| autoAny | Data.Type.Predicate.Auto |
| AutoElem | Data.Type.Predicate.Auto |
| autoElem | Data.Type.Predicate.Auto |
| AutoNot | Data.Type.Predicate.Auto |
| autoNot | Data.Type.Predicate.Auto |
| autoNotAll | Data.Type.Predicate.Auto |
| AutoProvable | Data.Type.Predicate.Auto |
| autoTC | Data.Type.Predicate.Auto |