A slightly different way to express a property, with the added benefit of exposing a pure "test".
This enables running the test with specific examples, either as a "golden" test or from the shell. Or both.
The trade-off is that the A needs to be exposed/declared, and it's likely to be some horrible multi-value tuple.
A slightly different way to express a property, with the added benefit of exposing a pure "test". This enables running the test with specific examples, either as a "golden" test or from the shell. Or both. The trade-off is that the
A
needs to be exposed/declared, and it's likely to be some horrible multi-value tuple.