object
  method indexOf : string -> int
  method match_ : Javascript.regexp -> string array
  method replace : Javascript.regexp -> string -> string
  method split : string -> string array
end