Migrate.build.v1: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 533-544 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=533&end_line=544

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

def build.v1(s: Slots) -> Result<&1, &1, Error, Record>:
  Slots{ve, i, p, mc, a, c, pe, st, n} = s
  do Result<&1, &1, Error, Record>:
    u1 : Unit <- unexpected(c, KCents{})
    u2 : Unit <- unexpected(pe, KPeriod{})
    u3 : Unit <- unexpected(st, KStatus{})
    u4 : Unit <- unexpected(n, KNote{})
    id : Bytes.Bytes <- need.num(i, KId{})
    plan : Bytes.Bytes <- need.str(p, KPlan{})
    cents : Bytes.Bytes <- need.num(mc, KMonthlyCents{})
    on : Bool <- need.flag(a, KActive{})
    V1.finish(u32.read(id), plan, u32.read(cents), on)

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  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
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Slots
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=V1.finish
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=need.flag
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=need.num
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=need.str
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=u32.read
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=unexpected