Lines Matching refs:str
78 let val (str , fst , snd) =
80 (str , [fst , snd]) => (str , fst , snd)
82 val (str , tp_type, b) =
84 (str , [tp_type, b]) => (str , tp_type, b)
266 val (c,str) =
268 COMB(c,str) => (c,str)
278 str,uf_fun,uy_fun]
364 val str = valOf (TextIO.inputLine TextIO.stdIn)
366 case str of
381 (str , [fst , snd]) =>
650 (*val (str , [fst , snd]) = dest_type (type_of(action))*)