Halts the execution of the program.
fun halt() -> Never
The definition of this function is provided at linking time for use in free-standing mode. Programs built for a hosted environment must not call it halt and use trap instead.
