def bounded_classified

bendtorch-core@0.1.0.0 · src/tensor/signed_PROOF.bend:309

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

309# signed.bend's cap sorts a product as the laws' classified does.
310def bounded_classified(+product: Nat, +below: Bool) -> {Signed.bounded(product, below) == Laws.classified(product, below) : Signed.Product}:
311  match below:
312    case True{}:
313      {==}
314    case False{}:
315      {==}