Record Class IdA1AdminPermission.AdminDelete

java.lang.Object
java.lang.Record
com.io7m.idstore.protocol.admin.cb.IdA1AdminPermission.AdminDelete
All Implemented Interfaces:
com.io7m.cedarbridge.runtime.api.CBSerializableType, IdA1AdminPermission
Enclosing interface:
IdA1AdminPermission

public static record IdA1AdminPermission.AdminDelete() extends Record implements com.io7m.cedarbridge.runtime.api.CBSerializableType, IdA1AdminPermission
A permission that allows for deleting admins.