import { Field, Bool } from '../lib/core.js';
import * as Json from './gen/transaction-json.js';
import { UInt32, UInt64, Sign } from '../lib/int.js';
import { TokenSymbol } from '../lib/hash.js';
import { PublicKey } from '../lib/signature.js';
import { ProvableExtended } from '../lib/circuit_value.js';
export { PublicKey, Field, Bool, AuthRequired, AuthorizationKind, UInt64, UInt32, Sign, TokenId, };
export { Events, Events as SequenceEvents, StringWithHash, TokenSymbol };
export { TypeMap };
declare type AuthRequired = {
    constant: Bool;
    signatureNecessary: Bool;
    signatureSufficient: Bool;
};
declare type AuthorizationKind = {
    isSigned: Bool;
    isProved: Bool;
};
declare type TokenId = Field;
declare type TypeMap = {
    PublicKey: PublicKey;
    Field: Field;
    Bool: Bool;
    AuthRequired: AuthRequired;
    AuthorizationKind: AuthorizationKind;
    UInt32: UInt32;
    UInt64: UInt64;
    Sign: Sign;
    TokenId: TokenId;
    number: number;
    null: null;
    undefined: undefined;
    string: string;
};
declare const TokenId: {
    toJSON(x: TokenId): Json.TokenId;
    toFields: (x: Field) => Field[];
    toAuxiliary: (x?: Field | undefined) => any[];
    fromFields: (x: Field[], aux: any[]) => Field;
    sizeInFields(): number;
    check: (x: Field) => void;
    toInput: (x: Field) => {
        fields?: Field[] | undefined;
        packed?: [Field, number][] | undefined;
    };
};
declare const AuthRequired: {
    toJSON(x: AuthRequired): Json.AuthRequired;
    toFields: (x: {
        constant: Bool;
        signatureNecessary: Bool;
        signatureSufficient: Bool;
    }) => Field[];
    toAuxiliary: (x?: {
        constant: Bool;
        signatureNecessary: Bool;
        signatureSufficient: Bool;
    } | undefined) => any[];
    fromFields: (x: Field[], aux: any[]) => {
        constant: Bool;
        signatureNecessary: Bool;
        signatureSufficient: Bool;
    };
    sizeInFields(): number;
    check: (x: {
        constant: Bool;
        signatureNecessary: Bool;
        signatureSufficient: Bool;
    }) => void;
    toInput: (x: {
        constant: Bool;
        signatureNecessary: Bool;
        signatureSufficient: Bool;
    }) => {
        fields?: Field[] | undefined;
        packed?: [Field, number][] | undefined;
    };
};
declare const AuthorizationKind: {
    toJSON(x: AuthorizationKind): Json.AuthorizationKind;
    toFields: (x: {
        isSigned: Bool;
        isProved: Bool;
    }) => Field[];
    toAuxiliary: (x?: {
        isSigned: Bool;
        isProved: Bool;
    } | undefined) => any[];
    fromFields: (x: Field[], aux: any[]) => {
        isSigned: Bool;
        isProved: Bool;
    };
    sizeInFields(): number;
    check: (x: {
        isSigned: Bool;
        isProved: Bool;
    }) => void;
    toInput: (x: {
        isSigned: Bool;
        isProved: Bool;
    }) => {
        fields?: Field[] | undefined;
        packed?: [Field, number][] | undefined;
    };
};
declare const TypeMap: {
    [K in keyof TypeMap]: ProvableExtended<TypeMap[K], Json.TypeMap[K]>;
};
declare const Events: ProvableExtended<{
    data: Field[][];
    hash: Field;
}, string[][]>;
declare const StringWithHash: ProvableExtended<{
    data: string;
    hash: Field;
}, string>;