Evidence.satisfied
Whether that postcondition held; False records a failed effect contract.
Source and package
- Qualified name
-
LibTmux:: Batch:: Evidence. satisfied - Module
- LibTmux::Batch
- Declared in
Evidence- Package
- LibTmux
- Source
- lib/LibTmux/Batch.rakumod
-
Description#
Whether that postcondition held; False records a failed effect contract.