def holds

stelliferous@0.0.2.0 · tensor_operations.bend:167

import stelliferous@0.0.2.0/tensor_operations.bend as TensorOperations

import Base

167def holds(count: Maybe<&2,U32>,+length: Nat,capacity: U32) -> Bool:
168  match count:
169    case None{}: False{}
170    case Some{count}: Nat.is_le(U32.to_nat(count),length) && Nat.is_le(length,U32.to_nat(capacity))

Uses (7)

Used by (2)