Lines Matching refs:seq
106 [] => seq.result []
107 | x::xs => seq.bind (mf x)
109 seq.bind (seq_mmap mf xs)
110 (fn xs' => seq.result (x'::xs')))
119 case seq.cases tl_s of
126 case seq.cases (seq.mapPartial f tl_s) of
387 case PQ seq.cases patseq of
444 case PQ seq.cases patseq of
467 {ERR = ERR, pats = seq.map mapthis pats, fvs_set = fvs_set}