Write migration for kinstr
Write the migration for kinstr
from https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/simulations/script_typed_ir/#With_family.kinstr This type is mutually recursive with other ones (like ty_to_dep_Set
) for which you should write the migration too. To define the fixpoint, you can take inspiration from https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/simulations/script_typed_ir/#With_family.to_kinstr .
The migration should be in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/proto_k_alpha/simulations/script_typed_ir/ If this migration requires the definition of other migrations as dependencies, do it unless it goes too far.
Edited by Guillaume Claret