[go: up one dir, main page]

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 Reviewers field below.
  • Select as Assignee the next person who should take action on that MR

Merge request reports

Loading