DefaultGenesis returns the default genesis state.

ModuleName defines the module name.

StoreKey defines the primary module store key This is not govplus because then StoreKey gov (from x/gov) would be a prefix of it, and that is not allowed.

GenesisState defines the govplus module's genesis state.

MsgSlashValidator is the Msg/SlashValidator request type.

MsgSlashValidatorResponse is the Msg/SlashValidator response type.

UnimplementedMsgServer can be embedded to have forward compatible implementations.

UnimplementedQueryServer can be embedded to have forward compatible implementations.

MsgClient is the client API for Msg service.

MsgServer is the server API for Msg service.

QueryClient is the client API for Query service.

QueryServer is the server API for Query service.

StatsKeeper defines the expected stats keeper.