import { Token, TokenFactory, Semantic } from './token';
export declare class EncodeTicketError implements Error {
    name: string;
    message: string;
}
export declare class TicketToken extends Token {
    protected val: {
        prim: string;
        args: any[];
        annots: any[];
    };
    protected idx: number;
    protected fac: TokenFactory;
    static prim: string;
    constructor(val: {
        prim: string;
        args: any[];
        annots: any[];
    }, idx: number, fac: TokenFactory);
    Encode(_args: any[]): any;
    EncodeObject(_args: any): any;
    Execute(val: any, semantics?: Semantic): any;
    ExtractSchema(): {
        ticketer: string;
        value: any;
        amount: string;
    };
}
