type AxisChoice
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
727type AxisChoice<-left: U32, -right: U32> is Data:
728 Picks{output: U32, axis: Axis<U32.to_nat(left), U32.to_nat(right), U32.to_nat(output)>}
729 Clashes{}
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
727type AxisChoice<-left: U32, -right: U32> is Data:
728 Picks{output: U32, axis: Axis<U32.to_nat(left), U32.to_nat(right), U32.to_nat(output)>}
729 Clashes{}