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.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)
msg, i.e., use the current post_fault effect to fail with the given message.