I am using this to split strings:
let split = Str.split (Str.regexp_string \" \") in let tokens = split instr in ....
But the problem
Don't use Str.regexp_string, it's only for matching fixed strings.
Str.regexp_string
Use Str.split (Str.regexp " +")
Str.split (Str.regexp " +")