def required_right
bendvy-ecs-core@0.1.0.4 · ordinary_check_declaration.bend:64
import bendvy-ecs-core@0.1.0.4/ordinary_check_declaration.bend as OrdinaryCheckDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
64def required_right(~S:Data,~C:Type,~R:Type,~E:Data,~right:W.World<S,C,R,E> -> W.World<S,C,R,E> & List<&2,String>,observed:W.World<S,C,R,E> & List<&2,String>) -> W.World<S,C,R,E> & List<&2,String>:
65 match observed:
66 case (world,before):required_join(~S,~C,~R,~E,before,right(world))