def fits

stelliferous@0.0.2.0 · kernel_planning.bend:194

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning

import Base

194def fits(budget: Maybe<&2,Nat>,bytes: Nat) -> Bool:
195  match budget:
196    case None{}: True{}
197    case Some{limit}: Nat.is_le(bytes,limit)

Uses (4)

Used by (1)

stelliferous@0.0.2.0/kernel_planning:candidate