import { AXSecurityDomain } from "../run/AXSecurityDomain";
export declare function FlashUtilScript_getTimer(sec: AXSecurityDomain): number;