~/jendhub

def choose

stelliferous@0.0.2.0 · kernel_planning.bend:199

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning
import Base

199def choose(fits: Bool,depth: U32,bytes: Nat,+time: F32,best: Plan) -> Plan:
200  Plan{+packed,old_depth,old_bytes,+old_time} = best
201  Bool.pick(Plan,fits && (Bool.not(packed) || F32.is_lt(time,old_time)),Plan{True{},depth,bytes,time},Plan{packed,old_depth,old_bytes,old_time})

Uses (10)

Used by (1)