~/jendhub

def fresh_choice

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

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

27def fresh_choice(used:Bool,candidate:U32,next:Maybe<&2,U32>) -> Maybe<&2,U32>:
28  match used:
29    case False{}:Some{candidate}
30    case True{}:next

Uses (3)

Used by (1)