import { ASN1Element as _Element, INTEGER, OPTIONAL } from "@wildboar/asn1";
import * as $ from "@wildboar/asn1/functional";
import { AlgorithmIdentifier } from "../AuthenticationFramework/AlgorithmIdentifier.ta.mjs";
import { Random_Integer } from "../SpkmGssTokens/Random-Integer.ta.mjs";
import { SeqNum } from "../SpkmGssTokens/SeqNum.ta.mjs";
/**
 * @summary Mic_Header
 * @description
 *
 * ### ASN.1 Definition:
 *
 * ```asn1
 * Mic-Header ::= SEQUENCE {
 *   tok-id      INTEGER(257), -- shall contain 0101 (hex)
 *   context-id  Random-Integer,
 *   int-alg     [0]  AlgorithmIdentifier{{SupportedAlgorithms}} OPTIONAL,
 *   snd-seq     [1]  SeqNum OPTIONAL
 * }
 * ```
 *
 */
export declare class Mic_Header {
    /**
     * @summary `tok_id`.
     * @public
     * @readonly
     */
    readonly tok_id: INTEGER;
    /**
     * @summary `context_id`.
     * @public
     * @readonly
     */
    readonly context_id: Random_Integer;
    /**
     * @summary `int_alg`.
     * @public
     * @readonly
     */
    readonly int_alg?: OPTIONAL<AlgorithmIdentifier>;
    /**
     * @summary `snd_seq`.
     * @public
     * @readonly
     */
    readonly snd_seq?: OPTIONAL<SeqNum>;
    constructor(
    /**
     * @summary `tok_id`.
     * @public
     * @readonly
     */
    tok_id: INTEGER, 
    /**
     * @summary `context_id`.
     * @public
     * @readonly
     */
    context_id: Random_Integer, 
    /**
     * @summary `int_alg`.
     * @public
     * @readonly
     */
    int_alg?: OPTIONAL<AlgorithmIdentifier>, 
    /**
     * @summary `snd_seq`.
     * @public
     * @readonly
     */
    snd_seq?: OPTIONAL<SeqNum>);
    /**
     * @summary Restructures an object into a Mic_Header
     * @description
     *
     * This takes an `object` and converts it to a `Mic_Header`.
     *
     * @public
     * @static
     * @method
     * @param {Object} _o An object having all of the keys and values of a `Mic_Header`.
     * @returns {Mic_Header}
     */
    static _from_object(_o: {
        [_K in keyof Mic_Header]: Mic_Header[_K];
    }): Mic_Header;
}
/**
 * @summary The Leading Root Component Types of Mic_Header
 * @description
 *
 * This is an array of `ComponentSpec`s that define how to decode the leading root component type list of a SET or SEQUENCE.
 *
 * @constant
 */
export declare const _root_component_type_list_1_spec_for_Mic_Header: $.ComponentSpec[];
/**
 * @summary The Trailing Root Component Types of Mic_Header
 * @description
 *
 * This is an array of `ComponentSpec`s that define how to decode the trailing root component type list of a SET or SEQUENCE.
 *
 * @constant
 */
export declare const _root_component_type_list_2_spec_for_Mic_Header: $.ComponentSpec[];
/**
 * @summary The Extension Addition Component Types of Mic_Header
 * @description
 *
 * This is an array of `ComponentSpec`s that define how to decode the extension addition component type list of a SET or SEQUENCE.
 *
 * @constant
 */
export declare const _extension_additions_list_spec_for_Mic_Header: $.ComponentSpec[];
/**
 * @summary Decodes an ASN.1 element into a(n) Mic_Header
 * @function
 * @param {_Element} el The element being decoded.
 * @returns {Mic_Header} The decoded data structure.
 */
export declare function _decode_Mic_Header(el: _Element): Mic_Header;
/**
 * @summary Encodes a(n) Mic_Header into an ASN.1 Element.
 * @function
 * @param value The element being encoded.
 * @param elGetter A function that can be used to get new ASN.1 elements.
 * @returns {_Element} The Mic_Header, encoded as an ASN.1 Element.
 */
export declare function _encode_Mic_Header(value: Mic_Header, elGetter: $.ASN1Encoder<Mic_Header>): _Element;
//# sourceMappingURL=Mic-Header.ta.d.mts.map