Lines Matching refs:str
48 let string_list_of_string str sep =
49 let rec slos_aux str ans =
50 if str = "" then ans else
52 let first_space = String.index str sep in
54 slos_aux (String.sub str 1 (String.length str - 1)) ans
57 (String.sub str (first_space + 1)(String.length str - 1 - first_space))
58 ((String.sub str 0 (first_space)) :: ans)
61 List.rev (str :: ans)
62 in slos_aux str []