def bounded

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

import Base

124def bounded(product: Nat, below: Bool) -> Product:
125  match below:
126    case True{}:
127      Within{product}
128    case False{}:
129      Beyond{}