|
|
|---|
|
|
|
|---|
Concrete syntax trees (CSTs).
Our ABNF library defines a notion of trees, whose leaves may be either lists of natural numbers or rule names. It also defines a notion of terminated trees, i.e. trees whose leaves are lists of natural numbers and not rule names.
Leo CSTs are formalized as terminated trees from our ABNF library.