~/jendhub

def built_pair

bendvy-ecs-core@0.1.0.4 · ordinary_condition_declaration.bend:46

import bendvy-ecs-core@0.1.0.4/ordinary_condition_declaration.bend as OrdinaryConditionDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

46def built_pair(~S:Data,~Ids:Data,first:Ids -> SP.Plan<S>,second:Ids -> SP.Plan<S>,offset:Nat,+ids:Ids) -> SP.Plan<S>:SP.Sequence{first(ids),shifted(~S,second(ids),U32.from_nat(offset))}

Uses (4)

Used by (1)