ScanningUtilitiesΒΆ

computil.spad line 1

undocumented

parse_integer: String -> Integer
parse_integer(s) converts string of digits s into integer