ScanningUtilities

computil.spad line 1 [edit on github]

undocumented

parse_integer : String -> Integer

parse_integer(s) converts string of digits s into integer