Stdlib.Debug.Fail
Contents
builtin fail axiom failwith : {A : Type} → String → ASource#
Primitive that exits the program with an error message.