Migrate.Key.is: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 268-270 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=268&end_line=270

import Base

def Key.is(k: Key, +t: Tag, rest: Maybe<&2, Key>) -> Maybe<&2, Key>:
  +k = k
  Bool.pick(Maybe<&2, Key>, Tag.eq(Key.tag(k), t), Some{k}, rest)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Key
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Key.tag
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Tag
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Tag.eq