Commit 83648647 authored by Denis Filatov's avatar Denis Filatov
Browse files

(+) add type OctSet := set of octetstring

parent e48c4167
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -167,6 +167,7 @@ module LibItsPki_TypesAndValues {

  type record of octetstring PrivateEcKeys;
  type record of octetstring PublicCompressedEcKeys;
  type set of octetstring OctSet;
  type record of integer EcCompressedModes;
  type record of HashedId8 EcHashedId8;
  type record of EtsiTs103097Certificate EcCertificates;