Stdlib.Debug.Fail
Contents
builtin fail axiom failwith : {A : Type} -> (message : String) -> ASource#
Exit the program with an error message.
