:: String -> Int is:exact -package:gpolyline -package:vty -package:dbus -package:string-conversions -package:locators -package:Agda -package:filepath -package:numeric-prelude -package:basement package:foundation

error :: forall (r :: RuntimeRep) (a :: TYPE r) . HasCallStack => String -> a
foundation Foundation
stop execution and displays an error message