|
structure Internal =
struct
structure StartStates =
struct
datatype yystartstate = STARTSTATE of int
val A
val DC
val F
val INITIAL
val S
end
type statedata = {fin : yyfinstate list, trans : string}
type result = UserDeclarations.lexresult
datatype yyfinstate = N of int
exception LexerError
val tab
end
Type detail |
---|
type statedata = {fin : yyfinstate list, trans : string}
type result = UserDeclarations.lexresult
Datatype detail |
---|
datatype yyfinstate = N of int
DataConstructor detail |
---|
constructor N : int -> yyfinstate
Value detail |
---|
val tab
Exception detail |
---|
exception LexerError
|