Lines Matching refs:sequence

366   (insert (sequence ()
381   (insert (sequence ()
451   (insert (sequence ()
472   (insert (sequence ()
545   (insert (sequence ()
561   (insert (sequence ()
577   (insert (sequence ()
591   (insert (sequence ()
611   (insert (sequence ()
1069   (sequence SI ((SI temp))
1074   (sequence SI ((SI modulo-mask))
1081   (sequence SI ((SI temp))
1086   (sequence SI ((SI modulo-mask))
1107      (sequence ()
1117      (sequence ()
1127      (sequence ()
1177      (sequence ()
1196      (sequence ()
1206      (sequence ()
1216      (sequence ()
1266      (sequence ()
1276      (sequence ()
1286      (sequence ()
1336      (sequence ()
1683      (sequence ((DI temp) (QI shamt))
1778      (sequence ()
1788      (sequence ()
1798      (sequence ()
1802 		       (sequence ()
1808 		       (sequence ()
1820      (sequence ()
1829      (sequence ()
1840      (sequence ()
1844 		       (sequence ()
1850 		       (sequence ()
1864      (sequence ()
1874      (sequence ()
1986 		 (sequence ()
1991 		 (sequence ()
1997 		 (sequence () 
2003 		 (sequence ()
2073      (sequence ()
2082      (sequence ()
2091      (sequence ()
2100      (sequence ()
2109      (sequence ((SI result))
2135      (sequence ((DI result))
2148      (sequence ((DI result))
2161      (sequence ((DI result))
2176      (sequence ((DI result))
2191      (sequence ((DI result))
2205      (sequence ((DI result))
2220      (sequence ((DI result))
2236      (sequence ((DI result))
2257      (sequence ()
2264 		       (sequence ()
2267 		       (sequence ()
2279      (sequence ()
2283 		   (sequence ()
2300      (sequence ()
2311      (sequence ()
2323      (sequence ()
2335      (sequence ()
2348      (sequence ()
2361      (sequence ()
2372      (sequence ()
2383      (sequence ()
2394      (sequence ()
2408      (sequence ((SI min) (SI max))
2422      (sequence ((SI max))
2438      (sequence ()
2454      (sequence ()
2470      (sequence ()
2482      (sequence ()
2501      (sequence ()
2511      (sequence ()
2520      (sequence ()
2531      (sequence ()
2541      (sequence ()
2552      (sequence ()
2562      (sequence ()
2574      (sequence ()
2585      (sequence ()
2594      (sequence ()
2603      (sequence ()
2613      (sequence ()
2623      (sequence ()
2634      (sequence ()
2644      (sequence ()
2655      (sequence ()
2665      (sequence ()
2676      (sequence ()
2686      (sequence ()
2698      (sequence ()
2710      (sequence ()
2721      (sequence ()
2731      (sequence ()
2742      (sequence ()
2752      (sequence ()
2763      (sequence ()
2773      (sequence ()
2785      (sequence ()
2796      (sequence ()
2807      (sequence ()
2817      (sequence ()
2828      (sequence ()
2838      (sequence ()
2849      (sequence ()
2859      (sequence ()
2871      (sequence ()
2884      (sequence ()
2893      (sequence ()
2902      (sequence ()
2911      (sequence ()
2920      (sequence ()
2928      (sequence ()
2934 		(sequence ()
2940 		(sequence ()
2946 		(sequence ()
2957      (sequence ()
2963 		(sequence ()
2969 		(sequence ()
2975 		(sequence ()