:: String -> Int is:exact -package:string-conversions -package:speculate -package:hxt -package:gpolyline -package:base -package:network -package:simple-cmd -package:express -package:Agda package:foundation

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