Lines Matching refs:str
89 fun in_string str =
90 let val strlist = String.explode str
119 fun ok_identifier str =
120 let fun loop i = (Word8Array.sub(alphanumerics,ordof(str,i)) = bone)
123 ((Word8Array.sub(alphabet,ordof(str,0)) = bone) handle _ => false)
133 fun allowed_user_type_var str =
134 let fun loop i = (Word8Array.sub(tyvar_ids,ordof(str,i)) = bone)
137 ((ordof(str,0) = prime) handle _ => false)
139 ((Word8Array.sub(alphabet,ordof(str,1)) = bone) handle _ => false)
146 fun ok_symbolic str =
147 let fun loop i = (Word8Array.sub(hol_symbols,ordof(str,i)) = bone)
150 ((Word8Array.sub(hol_symbols,ordof(str,0)) = bone)
164 fun ok_sml_identifier str = let
167 (sub(alphanumerics,ordof(str,i)) = bone) andalso alphaloop(i+1)
169 (sub(sml_symbols,ordof(str,i)) = bone) andalso symloop(i+1)
171 if Binaryset.member(sml_keywords, str) then false
172 else if ((sub(alphabet,ordof(str,0)) = bone) handle _ => false) then
174 else if ((sub(sml_symbols,ordof(str,0)) = bone) handle _ => false) then
199 | allowed_term_constant str =
200 if Word8Array.sub(alphabet,ordof(str,0)) = bone then ok_identifier str else
201 if Word8Array.sub(hol_symbols,ordof(str,0)) = bone then ok_symbolic str
210 fun is_num_literal str =
212 (Word8Array.sub(numbers,ordof(str,i)) = bone) andalso loop(i+1)
214 ((Word8Array.sub(numbers,ordof(str,0)) = bone) handle _ => false)
291 full (str (chr (ord c + 1)))]