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.094dev (2025-07-10 15:41:47 GIT hash eafa42ae743de61b62f958948d7abb5fada7756f built by fridi@fzen)
msg, i.e., use the current check_fault effect to fail with the given message.