Example1-EDM {joint-iso-itu-t(2) asn1(1) ecn(4) examples(5) edm-module1(3)}
ENCODING-DEFINITIONS ::=
BEGIN

EXPORTS Example1Encodings;

IMPORTS
  #Married, #Altitude, #EvenPositiveInteger, #EvenNegativeInteger,
    #IntegerRightAligned, #IntegerWithHole, #PositiveInteger, #NegativeInteger,
    #PositiveIntegerBCD, #Fax, #BinaryFile, #Password, #CharacterStringToBit,
    #Sequence1, #Choice, #Sequence2
    FROM Example1-ASN1-Module {joint-iso-itu-t(2) asn1(1) ecn(4) examples(5)
      asn1-module1(2)};

Example1Encodings #ENCODINGS ::= {marriedEncoding-1 |
                                   -- etc
                                   sequence2Encoding}

-- etc
END