A case of a migration, recorded when the migration was written: version from wrote written of the kind of,
and version from + 1 reads read. A migration that is deployed is never changed, so a case holds for as long
as the program carries the migration (decision 0126).
A case of a migration, recorded when the migration was written: version
fromwrotewrittenof the kindof, and versionfrom + 1readsread. A migration that is deployed is never changed, so a case holds for as long as the program carries the migration (decision 0126).