~/jendhub

def weight

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

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

57def weight(needsSync:Bool,target:Node) -> Nat:
58  match needsSync:
59    case True{}:1n
60    case False{}:Bool.pick(Nat,explicit(target),1n,0n)

Uses (5)

Used by (1)