mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-24 03:52:50 -06:00
Comments only.
This commit is contained in:
@@ -48,6 +48,7 @@ import qualified GF.Visualization.Graphviz as Dot
|
|||||||
type State = Int
|
type State = Int
|
||||||
|
|
||||||
-- | Type parameters: node id type, state label type, edge label type
|
-- | Type parameters: node id type, state label type, edge label type
|
||||||
|
-- Data constructor arguments: nodes and edges, start state, final states
|
||||||
data FA n a b = FA !(Graph n a b) !n ![n]
|
data FA n a b = FA !(Graph n a b) !n ![n]
|
||||||
|
|
||||||
type NFA a = FA State () (Maybe a)
|
type NFA a = FA State () (Maybe a)
|
||||||
|
|||||||
Reference in New Issue
Block a user