export declare class Timer {
    t0: number;
    constructor();
    elapsed(): number;
}