Lines Matching refs:String
48 let hs = String.create (String.length s * 2) in
49 for i = 0 to String.length s - 1
59 let s = String.create (String.length hs / 2) in
60 for i = 0 to String.length s - 1
68 let rindex = String.rindex path '/' in
69 String.sub path 0 rindex
73 let join_by_null ls = String.concat "\000" ls
87 let buf = String.make 20 (char_of_int 0) in
90 int_of_string (String.sub buf 0 sz)
93 if String.get path 0 <> '/' then
99 if String.length path = 0 || String.length path > 1024 then
103 if String.get cpath 0 <> '/' then