Lines Matching defs:tuple
1668 fun tuple'5 [t0,t1,t2,t3,t4] = (t0,(t1,(t2,(t3,t4))))
1669 | tuple'5 (_: bool list) = raise Fail "tuple'5"
1671 val boolify'5 = tuple'5 o BitsN.toList
1675 fun tuple'16 [t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15] =
1680 | tuple'16 (_: bool list) = raise Fail "tuple'16"
1682 val boolify'16 = tuple'16 o BitsN.toList
1686 fun tuple'4 [t0,t1,t2,t3] = (t0,(t1,(t2,t3)))
1687 | tuple'4 (_: bool list) = raise Fail "tuple'4"
1689 val boolify'4 = tuple'4 o BitsN.toList
1693 fun tuple'28 [t0,t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11,t12,t13,t14,t15,t16,
1715 | tuple'28 (_: bool list) = raise Fail "tuple'28"
1717 val boolify'28 = tuple'28 o BitsN.toList
1721 fun tuple'3 [t0,t1,t2] = (t0,(t1,t2))
1722 | tuple'3 (_: bool list) = raise Fail "tuple'3"
1724 val boolify'3 = tuple'3 o BitsN.toList
1728 fun tuple'8 [t0,t1,t2,t3,t4,t5,t6,t7] =
1730 | tuple'8 (_: bool list) = raise Fail "tuple'8"
1732 val boolify'8 = tuple'8 o BitsN.toList