Signed.Product: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed
Lines 114-122 of bendtorch-core@0.1.0.0/src/tensor/signed.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/signed.bend&start_line=114&end_line=122

import Base

# The exact product against a bound, the input's element count: ZeroProduct
# when it is 0, Within{p} when it is p > 0 at most the bound, and Beyond when
# it is past the bound. capped only multiplies a size and a product that are
# both at most the bound, and a tensor holds at most 2^20 elements, so no
# number it forms passes 2^40.
type Product is Data:
  ZeroProduct{}
  Within{product: Nat}
  Beyond{}

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