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 |
![]() ![]() |