module Stdlib.Debug.Fail;

import Stdlib.Data.String.Base open;

--- Exit the program with an error message.
builtin fail
axiom failwith : {A : Type} -> (message : String) -> A;