# Constants

No description provided by the author
No description provided by the author

# Structs

Contract represents an invariant test contract.
InvariantDoc represents the documentation of an invariant.