cause a postcondition fault with given msg argument, i.e., call post_fault.cause msg, i.e., use the current post_fault effect to fail with the given message.
0.095dev (2025-09-09 14:29:31 GIT hash 98644f8f651c2101a0730cfe31c5807993b7603b built by fridi@fzen)
msg, i.e., use the current post_fault effect to fail with the given message.