-- interface SecretKey extends Key


package javacard::security

endpackage