def cap

import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed

import Base

131def cap(+bound: Nat, +product: Nat) -> Product:
132  bounded(product, Nat.is_le(product, bound))

Uses (4)