type Plan
import bendtorch-load@1.3.0.0/main.bend as BendtorchLoadimport Base
447# where a tensor is and how to read it, or why it cannot be read
448type Plan is Data:
449 PlanOk{name: String, bf16: Bool, off: W64, n: U32}
450 PlanBad{msg: String}