module Stdlib.Debug.Fail;

open import Stdlib.Data.String.Base;

--- Primitive that exits the program with an error message.
builtin fail
axiom fail : {A : Type} → String → A;