type PadMinimal
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
313type PadMinimal<-left: Nat, -right: Nat> is Data:
314 PLeftZero{zero: {0n == left : Nat}}
315 PRightZero{zero: {0n == right : Nat}}
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
313type PadMinimal<-left: Nat, -right: Nat> is Data:
314 PLeftZero{zero: {0n == left : Nat}}
315 PRightZero{zero: {0n == right : Nat}}