type Exit
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
1295# how a command ends: exit 1, having started nothing; exit 0; or with the
1296# status of this program, started with these words as the last thing
1297type Exit is Data:
1298 Refusal{}
1299 Finished{}
1300 Exits{bin: String, args: List<&2, String>}