predicate transformer semantics
Author: Nicholas Coltharp
Created: 2026-05-14 Thu 00:00
Validate