CrisisTx Methods
The CrisisTx type exposes the following members.
Methods
| Name | Description | |
|---|---|---|
|
|
VerifyInvariant |
MsgVerifyInvariant represents a message to verify a particular invariance.
|

