type Product

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:114

import Base

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