def main
import bendtorch@1.3.0.0/PROOF.bend as PROOFimport Base
1075def main() -> Unit:
1076 Unit{}
Uses (1)
Used by (0)
No other definition uses this definition.
import bendtorch@1.3.0.0/PROOF.bend as PROOFimport Base
1075def main() -> Unit:
1076 Unit{}
No other definition uses this definition.