cause a check fault with given msg argument, i.e., call check_fault.cause msg, i.e., use the current check_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 check_fault effect to fail with the given message.