Migrate.V3.restore: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 170-174 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=170&end_line=174

import Base

# The v2 record that V2.up turned into r and d.
def V3.restore(r: V3, d: Dropped) -> V2:
  V3{i, p, c, pe, s} = r
  Dropped{n} = d
  V2{i, p, c, pe, s, n}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Dropped
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=V2
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=V3