string.ml

Functions for working with the builtin String type.

Definitions

str : a -> String

split : String -> String -> List String

replace : String -> String -> String -> String

isNumeric : String -> Bool

strIn : String -> String -> Bool

strLen : String -> Number

strHead : String -> String

strTail : String-> String