Doc/Michelson: redirect operations on timelock to interactive reference
Context
Answers this part of #4077:
- delete the parts about instructions from the static reference:
- Operations on timelock
The documentation about the operations on timelock is added to the interactive reference: michelson-reference!119 (merged).
Note that the typing rule in the static reference was wrong, although the description is correct: the return type of OPEN_CHEST is not or bytes bool but option bytes. This is checked in the description of the merge request in the interactive 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