-- interface PrivateKey extends Key

package javacard::security

endpackage