/** @TODO document */
export interface MsgVerifyInvariant {
}