Tezos_025_PsUshuai_test_migration.Checks
val checks : Tezt_migration_registry.Register.state -> int -> Tezt_migration_registry.Register.state Lwt.t