import type { ExternalRPCIncomingMsg, ExternalRPCOutgoingMsg } from '../../external-rpc/types.ts';
declare global {
    function readline(): string;
    function print(...args: any[]): void;
    function debug(...args: any[]): void;
    function quit(): void;
    type JSCIncomingMsg = ExternalRPCIncomingMsg | {
        type: 'quit';
    } | {
        type: 'init';
        attestorBaseUrl: string;
    };
    type JSCOutgoingMsg = ExternalRPCOutgoingMsg;
}