import { ProgramCounter } from './ProgramCounter';
export declare class KnownProgramCounter extends ProgramCounter {
    private readonly pc;
    constructor(pc: number);
    plus(offset: number): ProgramCounter;
    equals(other: ProgramCounter): boolean;
    getPC(): number;
}