Type Alias PredicatePattern

PredicatePattern: { variant: "Any" } | { variant: "Pattern"; pattern: Pattern }

pred, pred(p): the predicate of an assertion.

Type Declaration

{ variant: "Any" }
- Readonlyvariant: "Any"
  
  The discriminant.
{ variant: "Pattern"; pattern: Pattern }
- Readonlyvariant: "Pattern"
  
  The discriminant.
- Readonlypattern: Pattern
  
  The pattern the predicate must match.