Commit 38cb05b2 authored by Pinto Pasquale's avatar Pinto Pasquale Committed by Raphaël Cauderlier

Doc/Michelson: correct %@ kind and usable instructions

parent 37226100
......@@ -2675,8 +2675,8 @@ demonstrates their use for instruction ``CAR``.
CAR @%%
:: @p (pair ('a %fst) ('b %snd)) : 'S -> @p.fst 'a : 'S
The special variable annotation ``%@`` can be used on instructions
``PAIR``, ``SOME``, ``LEFT``, ``RIGHT``. It means to use the variable
The special field annotation ``%@`` can be used on instructions
``PAIR``, ``LEFT`` and ``RIGHT``. It means to use the variable
name annotation in the stack as a field name for the constructed
element. Two examples with ``PAIR`` follows, notice the special
treatment of annotations with ``.``.
......
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