export function parse(str: string): Promise>; //# sourceMappingURL=proof.d.ts.map