module LibItsBtp_EncdecDeclarations {
    
    // LibItsBtp
    import from LibItsBtp_TypesAndValues all;
    
    external function fx_enc_BtpPayload (BtpPayload p) return bitstring
        with {extension "prototype(convert) encode(LibItsBtp)"}
    
    /*  TODO RGy function not implemented! (decvalue() not used by test suite @29-06-2016)    
    external function fx_dec_BtpPayload (inout bitstring b, out BtpPayload p) return integer
        with {extension "prototype(sliding) decode(LibItsBtp)"}
    */
} // End of module LibItsBtp_EncdecDeclarations