def is_within

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

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

373def is_within(product: Signed.Product) -> Bool:
374  match product:
375    case Signed.Within{p}:
376      True{}
377    case Signed.ZeroProduct{}:
378      False{}
379    case Signed.Beyond{}:
380      False{}