Migrate.found: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 484-489 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=484&end_line=489

import Base

def found(-A: Data, m: Maybe<&2, A>, k: Key) -> Result<&1, &1, Error, A>:
  match m:
    case Some{x}:
      Done{x}
    case None{}:
      Fail{BadField{k}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Key