Index - _
| _FailT | Predicate.Util, Predicate |
| _FalseT | Predicate.Util, Predicate |
| _PresentT | Predicate.Util, Predicate |
| _tBool | Predicate.Util, Predicate |
| _tForest | Predicate.Util, Predicate |
| _TrueT | Predicate.Util, Predicate |
| _tStrings | Predicate.Util, Predicate |
predicate-typed-0.4.0.0: Predicates, Refinement types and Dsl