-- interface PublicKey extends Key

package javacard::security

endpackage