:: String -> Int is:exact -package:gpolyline -package:numeric-prelude -package:ghc-boot -package:string-conversions -package:base -package:containers -package:Agda package:hegg

Get the hash of a string. This util is currently used to generate an Int used for the internal pattern variable representation from the external pattern variable representation (String)