def sequence

bendvy-ecs-core@0.1.0.4 · ordinary_condition_composition.bend:142

import Base

142def sequence(~World:Type,~Left:Type,~Right:Type,~leftRun:Left -> World -> U32 -> Evaluation<World,Left>,~rightRun:Right -> World -> U32 -> Evaluation<World,Right>,left:Bindings<World,Left,leftRun>,right:Bindings<World,Right,rightRun>) -> Bindings<World,Left & Right,sequence_run(~World,~Left,~Right,~leftRun,~rightRun)>:
143  match left right:
144    case Bindings{lo,ld} Bindings{ro,rd}:Bindings{(lo,ro),List.append(&2,BindingDescription,ld,rd)}