Commit 064817f8 authored by Benjamin Canou's avatar Benjamin Canou

Doc: add missing Michelson COMPARE variants

parent 0f2330a6
Pipeline #71769008 passed with stages
in 9 minutes and 34 seconds
......@@ -977,6 +977,20 @@ Operations on pairs
> CDR / (Pair _ b) : S => b : S
- ``COMPARE``: Lexicographic comparison.
::
:: pair 'a 'b : pair 'a 'b : 'S -> int : 'S
> COMPARE / (Pair sa sb) : (Pair ta tb) : S => -1 : S
iff COMPARE / sa : ta : S => -1 : S
> COMPARE / (Pair sa sb) : (Pair ta tb) : S => 1 : S
iff COMPARE / sa : ta : S => 1 : S
> COMPARE / (Pair sa sb) : (Pair ta tb) : S => r : S
iff COMPARE / sa : ta : S => 0 : S
COMPARE / sb : tb : S => r : S
Operations on sets
~~~~~~~~~~~~~~~~~~
......@@ -3017,6 +3031,9 @@ Full grammar
| big_map <comparable type> <type>
| chain_id
<comparable type> ::=
| <simple comparable type>
| pair <simple comparable type> <comparable type>
<simple comparable type> ::=
| int
| nat
| string
......@@ -3027,6 +3044,7 @@ Full grammar
| timestamp
| address
Reference implementation
------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment