diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/language/sail.ott b/language/sail.ott index 7ec736c5..a1dc03f4 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -919,7 +919,10 @@ mpexp :: 'MPat_' ::= mapcl :: 'MCL_' ::= {{ com mapping clause (bidirectional pattern-match) }} {{ aux _ annot }} {{ auxparam 'a }} - | mpexp1 <-> mpexp2 :: :: mapcl + | mpexp1 <-> mpexp2 :: :: bidir + | mpexp => exp :: :: forwards + | mpexp <- exp :: :: backwards + mapdef :: 'MD_' ::= {{ com mapping definition (bidirectional pattern-match function) }} |