Migrate.Record.check: def of bend-kit-migrate@0.3.0.0
Import: import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate
Lines 632-634 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=632&end_line=634

import Base

# r when it keeps the business rules.
def Record.check(r: Record) -> Result<&1, &1, Error, Record>:
  Record.check.of(Record.problem(r))

Uses (5):
  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=Record
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Record.check.of
  https://jend.leeeet.dev/definition.txt?path=bend-kit-migrate@0.3.0.0/migrate.bend&name=Record.problem