Up
module
Lr1partial
:
sig
#
module
Run :
functor
(X :
sig
#
val
tokens :
Grammar
.
TerminalSet
.t
#
val
goal :
Lr1
.
node
end
)
->
sig
#
val
source :
Item
.
t
#
val
path :
Grammar
.
Symbol
.
t
array
#
val
goal :
Lr0
.
concretelr1state
#
val
token :
Grammar
.
Terminal
.
t
end
end