Migrate.Tag.eq: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 197-200 of bend-kit-migrate@0.3.0.0/migrate.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&start_line=197&end_line=200

import Base

def Tag.eq(a: Tag, b: Tag) -> Bool:
  Tag{+l, +a0, +a1, +a2, +a3} = a
  Tag{+m, +b0, +b1, +b2, +b3} = b
  U32.is_eq(l, m) && U32.is_eq(a0, b0) && U32.is_eq(a1, b1) && U32.is_eq(a2, b2) && U32.is_eq(a3, b3)

Uses (4):
  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=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Tag