:: String -> Int is:exact -package:string-conversions -package:polysemy -package:base -package:Agda -package:numeric-prelude -package:simple-cmd -package:speculate package:hxt

convert a string of hexadecimal digits into an Int

convert a string of digits into an Int