def out.at

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

52# where the jobs of this run write what they print
53def out.at() -> String:
54  ".ez/run/prove"

Uses (1)