# LibTmux::Batch::Evidence.satisfied

- **Module:** LibTmux::Batch
- **Package:** LibTmux
- **Language:** Raku
- **Kind:** property
- **Source:** https://github.com/libtmux/libtmux-raku/blob/0b5dd3d32e20f83a0069874e33eab0eb48f55962/lib/LibTmux/Batch.rakumod#L33
- **Page:** https://libtmux.org/en/raku/latest/reference/libtmux-batch-evidence-satisfied/

Whether that postcondition held; False records a failed effect contract.

Whether that postcondition held; False records a failed effect contract.