Liquidity Grammar
-----------------

Toplevel:

* ``[%%version`` FLOAT ``]``
* Structure*

Contract:

* ``struct`` Structure* ``end``
* UIDENT

Module:

* ``struct`` ModStructure* ``end``
* UIDENT

ModStructure:

* ``type`` LIDENT ``=`` Type
* ``type`` LIDENT ``= {`` [ LIDENT ``:`` Type ``;``]+ ``}``
* ``type`` LIDENT ``=`` [ ``|`` UIDENT ``of`` Type ]+
* ``module`` UIDENT ``=`` Module
* ``contract`` UIDENT ``=`` Contract
* ``contract type`` UIDENT ``= sig`` Signature* ``end``
* ``let`` ``rec``? Annot* Pattern ``=`` Expression

Structure:

* ModStructure
* ``let%init storage =`` Expression
* ``let%entry`` LIDENT Pattern Pattern =`` Expression
* ``let%view`` LIDENT Pattern Pattern =`` Expression

Signature:

* ``type`` LIDENT ``=`` Type
* ``type`` LIDENT
* ``val%entry`` LIDENT ``:`` Type
* ``val%view`` LIDENT ``:`` Type ``->`` Type

Annot:

* ``[@inline]``
* ``[@private]``

Expression:

* LIDENT
* UIDENT ``.`` LIDENT
* [LIDENT ``.``]+ LIDENT
* [LIDENT ``.``]+ LIDENT ``<-`` Expression
* ``(`` Expression ``:`` Type ``)``
* ``if`` Expression ``then`` Expression
* ``if`` Expression ``then`` Expression ``else`` Expression
* ``Contract.create`` Expression Expression Expression Expression
  Expression Expression ``(contract`` Contract ``)``
* ``let`` ``rec``? Annot* Pattern ``=`` Expression ``in`` Expression
* Expression ``;`` Expression
* ``Loop.loop (fun`` Pattern ``->`` Expression ``)`` Expression
* ``Loop.left (fun`` Pattern ``->`` Expression ``)`` Expression
* Expression Expression
* ``match%nat`` Expression ``with | Plus`` LIDENT ``->`` Expression ``| Minus`` LIDENT ``->`` Expression
* ``match`` Expression ``with | Left`` LIDENT ``->`` Expression ``| Right`` LIDENT ``->`` Expression
* ``match`` Expression ``with | [] ->`` Expression ``|`` LIDENT ``::`` LIDENT ``->`` Expression
* ``match`` Expression ``with`` [ ``|`` MatchPattern ``->`` Expression ]*
* ``Left`` Expression
* ``Right`` Expression
* ``Some`` Expression
* Expression ``::`` Expression
* Constant

Pattern:

* LIDENT
* ``(`` LIDENT ``:`` Type ``)``
* ``_``
* ``(`` Pattern [``,`` Pattern]* ``)``

MatchPattern:

* UIDENT
* UIDENT Pattern


Type:

* ``unit``
* ``bool``
* ``int``
* ``nat``
* ``dun``
* ``string``
* ``bytes``
* ``timestamp``
* ``key``
* ``key_hash``
* ``signature``
* ``operation``
* ``address``
* ``chain_id``
* Type ``option``
* Type ``list``
* Type ``set``
* ``(`` Type ``,`` Type ``) variant``
* ``(`` Type ``,`` Type ``) map``
* ``(`` Type ``,`` Type ``) big_map``
* Type [ ``*`` Type]+
* Type ``->`` Type
* ``_``
* LIDENT

Constant:

* ``dn1`` B58Char+(33)
* ``dn2`` B58Char+(33)
* ``dn3`` B58Char+(33)
* ``edpk`` B58Char+(50)
* ``sppk`` B58Char+(50)
* ``p2pk`` B58Char+(50)
* ``edsig`` B58Char+(94)
* ``p2sig`` B58Char+(93)
* ``spsig1`` B58Char+(93)
* ``KT1`` B58Char+(33)
* ``0x`` [HexChar HexChar]*
* ``true``
* ``false``
* DIGIT [DIGIT | ``_``]*
* DIGIT [DIGIT | ``_``]* ``p``
* DIGIT [DIGIT | ``_``]* [``.`` [DIGIT | ``_``]*]? ``DUN``
* DAY [``T`` HOUR [ TIMEZONE ]?]?
* ``"`` CHAR* ``"``
* ``()``
* ``[`` Constant+`;` ``]``
* ``Map`` | ``Map`` ``[`` Constant+``;`` ``]``
* ``Set`` | ``Set`` ``[`` Constant+``;`` ``]``
* ``BigMap`` | ``BigMap`` ``[`` Constant+``;`` ``]``
* ``fun`` Pattern ``->`` Expression

B58Char:

* [ ``1``- ``9`` | ``A``-``H`` | ``J``-``N`` | ``P``-``Z`` | ``a``-``k`` | ``m``-``z`` ]


HexChar:

* [``0``-``9`` | ``A``-``F`` | ``a``-``f``]


LIDENT:

* [``a``-``z`` | ``_``] [``A``-``Z`` | ``a``-``z`` | ``_`` | ``'`` | ``0``-``9``]*


UIDENT:

* [``A``-``Z``] [``A``-``Z`` | ``a``-``z`` | ``_`` | ``'`` | ``0``-``9``]*


DIGIT:

* [``0``-``9``]


DAY:

* DIGIT+(4) ``-`` DIGIT+(2) ``-`` DIGIT+(2)


HOUR:

* DIGIT+(2) ``:`` DIGIT+(2) [``:`` DIGIT+(2)]?

TIMEZONE:

* ``+`` DIGIT+(2) ``:`` DIGIT+(2)
* ``Z``