Lines Matching refs:str
112 let val (str , fst , snd) =
114 (str , [fst , snd]) => (str , fst , snd)
116 val (str , tp_type, b) =
118 (str , [tp_type, b]) => (str , tp_type, b)
273 (str , [fst , snd]) =>
433 (*val (str , [fst , snd]) = dest_type (type_of a_body) *)
434 (* val (str , [a_body_type, b]) = dest_type snd;*)
635 (*val (str , [fst , snd]) = dest_type (type_of a_body) *)
636 (* val (str , [a_body_type, b]) = dest_type snd;*)