Doc: fix percent annotation on pair

This commit is contained in:
phink 2018-12-17 14:35:04 +01:00 committed by Marco Stronati
parent 423af85c76
commit 855aee7523

View File

@ -2239,7 +2239,7 @@ and variable annotations).
:: ::
PAIR %fst %snd PAIR %fst %snd
:: 'a : 'b : 'S -> (pair ('a %fst) ('b %fst)) : 'S :: 'a : 'b : 'S -> (pair ('a %fst) ('b %snd)) : 'S
LEFT %left %right 'b LEFT %left %right 'b
:: 'a : 'S -> (or ('a %left) ('b %right)) : 'S :: 'a : 'S -> (or ('a %left) ('b %right)) : 'S