diff --git a/docs/alpha/michelson.rst b/docs/alpha/michelson.rst index 7dca777896bf01f7a30f4e32885e38814ef0138c..d0efba2013ea92c95e19cee17a29cf3c69491221 100644 --- a/docs/alpha/michelson.rst +++ b/docs/alpha/michelson.rst @@ -635,71 +635,16 @@ result of ``COMPARE`` is ``0`` if the top two elements of the stack are equal, negative if the first element in the stack is less than the second, and positive otherwise. -- ``EQ``: Checks that the top element of the stack is equal to zero. - -:: - - :: int : 'S -> bool : 'S - - > EQ / 0 : S => True : S - > EQ / v : S => False : S - iff v <> 0 - -- ``NEQ``: Checks that the top element of the stack is not equal to zero. - -:: - - :: int : 'S -> bool : 'S - - > NEQ / 0 : S => False : S - > NEQ / v : S => True : S - iff v <> 0 - -- ``LT``: Checks that the top element of the stack is less than zero. - -:: - - :: int : 'S -> bool : 'S - - > LT / v : S => True : S - iff v < 0 - > LT / v : S => False : S - iff v >= 0 - -- ``GT``: Checks that the top element of the stack is greater than zero. - -:: - - :: int : 'S -> bool : 'S - - > GT / v : S => C / True : S - iff v > 0 - > GT / v : S => C / False : S - iff v <= 0 +A detailed description of the following instructions can be found in the `interactive Michelson reference manual `__. +- ``EQ``: Checks that the top element of the stack is equal to zero (`documentation `__). +- ``NEQ``: Checks that the top element of the stack is not equal to zero (`documentation `__). +- ``LT``: Checks that the top element of the stack is less than zero (`documentation `__). +- ``GT``: Checks that the top element of the stack is greater than zero (`documentation `__). - ``LE``: Checks that the top element of the stack is less than or equal to - zero. - -:: - - :: int : 'S -> bool : 'S - - > LE / v : S => True : S - iff v <= 0 - > LE / v : S => False : S - iff v > 0 - + zero (`documentation `__). - ``GE``: Checks that the top of the stack is greater than or equal to - zero. - -:: - - :: int : 'S -> bool : 'S - - > GE / v : S => True : S - iff v >= 0 - > GE / v : S => False : S - iff v < 0 + zero (`documentation `__). Operations ----------