Source file constants.ml

let digits = "0123456789"
let oct_digits = "01234567"
let hex_digits = "0123456789abcdefABCDEF"
let hex_digits_lc = "0123456789abcdef"
let hex_digits_uc = "0123456789ABCDEF"

let whitespace = "\t\n\r\011\012 "
let empty = String.empty

let alpha_lower = "abcdefghijklmnopqrstuvwxyz"
let alpha_lc = alpha_lower
let alpha_upper = "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
let alpha_uc = alpha_upper
let alpha = alpha_lc ^ alpha_uc
let alphanum = alpha ^ digits