blob: 9812a61f05fa224f3cff5f78c9027f175d8c6c5a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
type syntree = Term of char list
| NonTerm of char list
| Param of char list
| Opt of syntree
| Rep of syntree
| TermRep of syntree * syntree
| OptRep of syntree
| OrList of syntree list
| Con of syntree * syntree
val analyse : char Stream.t -> syntree
|