Tezos_024_PtTALLiN_test_migration.Checks
val parameter_check : next:bool -> JSON.t -> string -> int -> unit
val parameters_checks : Tezt_migration_registry.Register.state -> unit
val checks : Tezt_migration_registry.Register.state -> int -> Tezt_migration_registry.Register.state Lwt.t