def fields.same

mylsm-lsm-store@0.6.0.1 · src/ResourceOptions.bend:83

import Base

83def fields.same(
84  left: List<&2, U32>,
85  right: List<&2, U32>
86) -> Bool:
87  match left right:
88    case Con{l1, Con{l2, Con{l3, Con{l4, Con{l5, Con{l6,
89      Con{l7, Con{l8, Con{l9, Con{l10, Con{l11, Con{l12,
90        Con{l13, Con{l14, Con{l15, Con{l16, Con{l17, Nil{}}}}}}}}}}}}}}}}}}
91      Con{r1, Con{r2, Con{r3, Con{r4, Con{r5, Con{r6,
92        Con{r7, Con{r8, Con{r9, Con{r10, Con{r11, Con{r12,
93          Con{r13, Con{r14, Con{r15, Con{r16, Con{r17, Nil{}}}}}}}}}}}}}}}}}}:
94      Bool.and(U32.is_eq(l1, r1), Bool.and(U32.is_eq(l2, r2),
95        Bool.and(U32.is_eq(l3, r3), Bool.and(U32.is_eq(l4, r4),
96          Bool.and(U32.is_eq(l5, r5), Bool.and(U32.is_eq(l6, r6),
97            Bool.and(U32.is_eq(l7, r7), Bool.and(U32.is_eq(l8, r8),
98              Bool.and(U32.is_eq(l9, r9), Bool.and(U32.is_eq(l10, r10),
99                Bool.and(U32.is_eq(l11, r11), Bool.and(U32.is_eq(l12, r12),
100                  Bool.and(U32.is_eq(l13, r13),
101                    Bool.and(U32.is_eq(l14, r14),
102                      Bool.and(U32.is_eq(l15, r15),
103                        Bool.and(U32.is_eq(l16, r16),
104                          U32.is_eq(l17, r17)))))))))))))))))
105    case _ _: False{}