~/jendhub

def fresh

bendvy-ecs-core@0.1.0.3 · execution_deferred_settings.bend:31

import bendvy-ecs-core@0.1.0.3/execution_deferred_settings.bend as ExecutionDeferredSettings
import Base
import bendvy-ecs-core@0.1.0.3/dependency_plan.bend as Plan

31def fresh(fuel:Nat,+nodes:List<&2,Plan.Node<String>>,+candidate:U32) -> Maybe<&2,U32>:
32  match fuel:
33    case 0n:None{}
34    case 1n++rest:fresh_choice(Plan.has(~String,nodes,candidate),candidate,fresh(rest,nodes,U32.add(candidate,1)))

Uses (9)

Used by (1)