sig
type
t =
None
|
GeneralDynamic
|
LocalDynamic
|
InitialExec
|
LocalExec
end