fun fatal_error(_ message: String, file: String, line: Int) -> Never

Unconditionally stops execution.

fun precondition(_ condition: Bool, _ message: String, file: String, line: Int)

Checks a necessary condition for making forward progress.

fun log_failure_description(_ title: String, _ message: String, in file: String, at line: Int)

Logs to the standard error a description of a failure with the given properties iff the program is built for executing in a hosted environment.

fun trap() -> Never

Terminates the program abnormally.

fun halt() -> Never

Halts the execution of the program.