louis

Contract ::= contract Identifier ( Parameters) { Clause+ } Clause ::= clause Identifier ( Parameters) { Statement+ } Statement ::= Assertion | Unlock Assertion ::= verify Expression1 Unlock ::= unlock VariableExpression Expression1 ::= ComparisonExpression | Expression2 Expression2 ::= CallExpression | Literal | VariableExpression | ( Expression1 ) Literal ::= ListLiteral | BooleanLiteral | IntegerLiteral IntegerLiteral ::= n | -n ComparisonExpression ::= Expression2 Compa...