DfaNode<'a>
Namespace: global
Parent Module: EpsClosure
Record Fields
Record Field | Description |
Id
Signature: int
|
|
IsFinal
Signature: bool
|
|
IsStart
Signature: bool
|
|
Name
Signature: string
|
|
Transitions
Signature: ('a * DfaNode<'a>) list
Modifiers: mutable |