ResourceOptions.fields.same: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend as ResourceOptions
Lines 83-105 of mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ResourceOptions.bend&start_line=83&end_line=105

import Base

def fields.same(
  left: List<&2, U32>,
  right: List<&2, U32>
) -> Bool:
  match left right:
    case Con{l1, Con{l2, Con{l3, Con{l4, Con{l5, Con{l6,
      Con{l7, Con{l8, Con{l9, Con{l10, Con{l11, Con{l12,
        Con{l13, Con{l14, Con{l15, Con{l16, Con{l17, Nil{}}}}}}}}}}}}}}}}}}
      Con{r1, Con{r2, Con{r3, Con{r4, Con{r5, Con{r6,
        Con{r7, Con{r8, Con{r9, Con{r10, Con{r11, Con{r12,
          Con{r13, Con{r14, Con{r15, Con{r16, Con{r17, Nil{}}}}}}}}}}}}}}}}}}:
      Bool.and(U32.is_eq(l1, r1), Bool.and(U32.is_eq(l2, r2),
        Bool.and(U32.is_eq(l3, r3), Bool.and(U32.is_eq(l4, r4),
          Bool.and(U32.is_eq(l5, r5), Bool.and(U32.is_eq(l6, r6),
            Bool.and(U32.is_eq(l7, r7), Bool.and(U32.is_eq(l8, r8),
              Bool.and(U32.is_eq(l9, r9), Bool.and(U32.is_eq(l10, r10),
                Bool.and(U32.is_eq(l11, r11), Bool.and(U32.is_eq(l12, r12),
                  Bool.and(U32.is_eq(l13, r13),
                    Bool.and(U32.is_eq(l14, r14),
                      Bool.and(U32.is_eq(l15, r15),
                        Bool.and(U32.is_eq(l16, r16),
                          U32.is_eq(l17, r17)))))))))))))))))
    case _ _: False{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq