summaryrefslogtreecommitdiff
path: root/src/lib/.mly
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
commit546afdcf2148087f3a90b69c23ea756550f64433 (patch)
treeac56c71393aacf0fade729e98eeecb1e87a88534 /src/lib/.mly
Initial commit
Diffstat (limited to 'src/lib/.mly')
-rw-r--r--src/lib/.mly24
1 files changed, 24 insertions, 0 deletions
diff --git a/src/lib/.mly b/src/lib/.mly
new file mode 100644
index 0000000..464a065
--- /dev/null
+++ b/src/lib/.mly
@@ -0,0 +1,24 @@
+%start<'a T.t List.t> main
+
+
+initial:
+ | { }
+
+medium:
+ | { }
+
+ending
+ | {}
+
+word:
+ | initial medium* ending
+
+
+main:
+ | {}
+ | main word Spaces+
+ {
+
+
+ }
+