~/jendhub

def allocatable

stelliferous@0.0.2.0 · tensor.bend:52

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base
import stelliferous@0.0.2.0/machine_limits.bend as Machine
import stelliferous@0.0.2.0/default_machine_limits.bend as Default

52def allocatable(count: Maybe<&2,U32>) -> Maybe<&2,U32>:
53  match count:
54    case None{}: None{}
55    case Some{+count}: within(U32.is_le(count,Machine.capacity(Default.limits())),count)

Uses (6)

Used by (1)