Translator simulations 40-49
Write the simulation definitions and proofs for the cases 40-49 in https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/status/simulations
-
dep_make_comb_set_proof_argument_eq -
dep_find_entrypoint_eq -
dep_find_entrypoint_for_type_eq -
dep_well_formed_entrypoints_eq -
dep_parse_parameter_ty_and_entrypoints_aux_eq -
dep_parse_passable_ty_aux_eq -
dep_opened_ticket_type_eq -
dep_comparable_comb_witness1_eq -
dep_parse_comparable_data_eq -
dep_comb_witness1_eq