StateFromFsaFuns
Namespace: global
Parent Module: HelperTypes
Functions and values
| Function or value | Description |
fromFsa1 id
Signature: id:int -> StateFromFsa
|
|
fromFsa2 id
Signature: id:int -> StateFromFsa
|
|
isFromFsa1 arg1
Signature: StateFromFsa -> bool
|
|
isFromFsa2 arg1
Signature: StateFromFsa -> bool
|
|
