Core.PadMinimal: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
Lines 313-315 of bendtorch-core@0.1.0.0/src/shape/core.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/shape/core.bend&start_line=313&end_line=315

import Base

type PadMinimal<-left: Nat, -right: Nat> is Data:
  PLeftZero{zero: {0n == left : Nat}}
  PRightZero{zero: {0n == right : Nat}}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat