Lines Matching defs:tuple
1642 fun tuple'32 [t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,
1670 | tuple'32 (_: bool list) = raise Fail "tuple'32"
1672 val boolify'32 = tuple'32 o BitsN.toList
1676 fun tuple'5 [t0,t1,t2,t3,t4] = (t0,(t1,(t2,(t3,t4))))
1677 | tuple'5 (_: bool list) = raise Fail "tuple'5"
1679 val boolify'5 = tuple'5 o BitsN.toList
1683 fun tuple'26 [t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,
1703 | tuple'26 (_: bool list) = raise Fail "tuple'26"
1705 val boolify'26 = tuple'26 o BitsN.toList