Proto/Michelson: move proof arguments
Context
Preparatory tidying up for !4502 (merged)
MR based on !4133 (merged)
Manually testing the MR
Checklist
[ ] Document the interface of any function added or modified (see the coding guidelines)[ ] Document any change to the user interface, including configuration parameters (see node configuration)[ ] Provide automatic testing (see the testing guide).[ ] For new features and bug fixes, add an item in the appropriate changelog (docs/protocols/alpha.rst
for the protocol and the environment,CHANGES.rst
at the root of the repository for everything else).-
Select suitable reviewers using the Reviewers
field below. -
Select as Assignee
the next person who should take action on that MR
Edited by Mehdi Bouaziz