Lines Matching refs:output
1203 print(string, file=params.output)
1204 print(file=params.output)
1340 output = params.output
1345 {"name": self.name}, file=output)
1346 print(file=output)
1354 substs, params.sorry), file=output)
1355 print(file=output)
1358 substs, params.sorry), file=output)
1359 print(file=output)
1362 substs, params.sorry), file=output)
1363 print(file=output)
1367 file=output)
1368 print(file=output)
1563 output = params.output
1593 file=output)
1612 print(fs, file=output)
1613 print(file=output)
1630 print(fs, file=output)
1631 print(file=output)
1651 print(fs, file=output)
1652 print(file=output)
1713 file=output)
1714 print(file=output)
1716 print(collapse_proofs, file=output)
1730 print(t % substs, file=output)
1731 print(file=output)
1733 print(block_lift_def_template % substs, file=output)
1734 print(file=output)
1736 print(block_lift_lemma_template % substs, file=output)
1737 print(file=output)
1741 print(block_lift_lemmas, file=output)
1742 print(file=output)
1745 output = params.output
1751 "multiple": self.multiple}, file=output)
1752 print(file=output)
1755 print("enum %s_tag {" % self.name, file=output)
1759 file=output)
1762 file=output)
1763 print("};", file=output)
1765 (self.name, self.name), file=output)
1766 print(file=output)
2228 output = params.output
2252 print(out, file=output)
2292 file=output)
2293 print(file=output)
2298 output = params.output
2306 {"name": self.name}, file=output)
2307 print(file=output)
2315 substs, params.sorry), file=output)
2316 print(file=output)
2319 substs, params.sorry), file=output)
2320 print(file=output)
2323 substs, params.sorry), file=output)
2324 print(file=output)
2328 file=output)
2329 print(file=output)
2434 output = params.output
2444 "multiple": self.multiple}, file=output)
2445 print(file=output)
2717 options.output = out_file
2825 options.output = out_file
2884 options.output = out_file