Debug Debugging aids print let print : Text -> () print(t) emits text t to the debug output stream. How this stream is stored or displayed depends on the execution environment. trap let trap : Text -> None trap(t) traps execution with a user-provided message.