def within_value

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

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

382def within_value(product: Signed.Product) -> Nat:
383  match product:
384    case Signed.Within{p}:
385      p
386    case Signed.ZeroProduct{}:
387      0n
388    case Signed.Beyond{}:
389      0n