Lines Matching defs:loop
120 let fun loop i = (Word8Array.sub(alphanumerics,ordof(str,i)) = bone)
121 andalso loop(i+1)
125 (loop 1 handle _ => true)
134 let fun loop i = (Word8Array.sub(tyvar_ids,ordof(str,i)) = bone)
135 andalso loop(i+1)
141 (loop 2 handle _ => true)
147 let fun loop i = (Word8Array.sub(hol_symbols,ordof(str,i)) = bone)
148 andalso loop(i+1)
153 (loop 1 handle _ => true)
211 let fun loop i =
212 (Word8Array.sub(numbers,ordof(str,i)) = bone) andalso loop(i+1)
216 (loop 1 handle _ => true)