Core.step_eq: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 1040-1051 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=1040&end_line=1051

import Base

def step_eq(x: Step, y: Step) -> Bool:
  match x y:
    case AtIndex{i} AtIndex{j}:
      Nat.is_eq(i, j)
    case AtField{a, n} AtField{b, m}:
      Bool.and(Nat.is_eq(a, b), String.eq(n, m))
    case BoundAt{i, k} BoundAt{j, m}:
      Bool.and(Nat.is_eq(i, j), String.eq(k, m))
    case AtKey{k} AtKey{m}:
      String.eq(k, m)
    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=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Step