Doc/Michelson: redirect integer and natural operations to interactive reference
Context
Answers this part of #4077:
- delete the parts about instructions from the static reference:
- Operations on integers and natural numbers
The documentation about all the operations on int and nat in the interactive reference contains that found in the static reference, except for a missing semantics rule when LSR fails, which is completed in michelson-reference!76 (merged).
The inclusion was checked manually by comparing the static and interactive documentations for each type and comparison instruction of the static reference.
Manually testing the MR
make -C docs -j
And then open docs/_build/alpha/michelson.html in a web browser.
Or open the exposed artifacts Documentation - excluding old protocols below, and navigate to docs/_build/alpha/michelson.html.
Checklist
-
Select suitable reviewers using the Reviewersfield below. -
Select as Assigneethe next person who should take action on that MR