~/jendhub

def explicit_choice

bendvy-ecs-core@0.1.0.3 · execution_deferred_plan.bend:88

import bendvy-ecs-core@0.1.0.3/execution_deferred_plan.bend as ExecutionDeferredPlan
import Base

88def explicit_choice(same:Bool,id:U32,rest:Maybe<&2,U32>) -> Maybe<&2,U32>:
89  match same:
90    case True{}:Some{id}
91    case False{}:rest

Uses (3)

Used by (1)