ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 02:01:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

[ABNF] Re-generate markdown.

Browse Source 
(Forgot to do this in the previous commit.)
This commit is contained in:
Alessandro Coglio 2022-03-04 19:51:14 -08:00
parent c30df925ef
commit 6aca970b88
1 changed files with 7 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
docs/grammar/README.md
View File

@ -1013,34 +1013,24 @@ An array type consists of an element type
and an indication of dimensions. and an indication of dimensions.
There is either a single dimension, There is either a single dimension,
or a tuple of one or more dimensions. or a tuple of one or more dimensions.
Each dimension is natural. Each dimension is a natural.
<a name="array-type"></a> <a name="array-type"></a>
```abnf ```abnf
array-type = "[" type ";" array-type-dimensions "]" array-type = "[" type ";" array-dimensions "]"
``` ```
Go to: _[array-type-dimensions](#user-content-array-type-dimensions), [type](#user-content-type)_; Go to: _[array-dimensions](#user-content-array-dimensions), [type](#user-content-type)_;
<a name="array-type-dimension"></a> <a name="array-dimensions"></a>
```abnf ```abnf
array-type-dimension = natural / "_" array-dimensions = natural / "(" natural *( "," natural ) ")"
``` ```
Go to: _[natural](#user-content-natural)_; Go to: _[natural](#user-content-natural)_;
<a name="array-type-dimensions"></a>
```abnf
array-type-dimensions = array-type-dimension
/ "(" array-type-dimension
*( "," array-type-dimension ) [","] ")"
```
Go to: _[array-type-dimension](#user-content-array-type-dimension)_;
The keyword `Self` denotes the enclosing circuit type. The keyword `Self` denotes the enclosing circuit type.
It is only allowed inside a circuit type declaration. It is only allowed inside a circuit type declaration.
@ -1214,19 +1204,10 @@ Go to: _[expression](#user-content-expression)_;
<a name="array-repeat-construction"></a> <a name="array-repeat-construction"></a>
```abnf ```abnf
array-repeat-construction = "[" expression ";" array-expression-dimensions "]" array-repeat-construction = "[" expression ";" array-dimensions "]"
``` ```
Go to: _[array-expression-dimensions](#user-content-array-expression-dimensions), [expression](#user-content-expression)_; Go to: _[array-dimensions](#user-content-array-dimensions), [expression](#user-content-expression)_;
<a name="array-expression-dimensions"></a>
```abnf
array-expression-dimensions = natural
/ "(" natural *( "," natural ) ")"
```
Go to: _[natural](#user-content-natural)_;
<a name="array-construction"></a> <a name="array-construction"></a>