type Step
import bendtorch-core@0.1.0.0/src/storage/model.bend as Modelimport Base
18type Step<-d: Nat> is Data:
19 Step{bit: Bool, tail: Path(d)}
import bendtorch-core@0.1.0.0/src/storage/model.bend as Modelimport Base
18type Step<-d: Nat> is Data:
19 Step{bit: Bool, tail: Path(d)}