def select_leaf

bendvy-ecs-core@0.1.0.4 · ordinary_event_family.bend:103

import Base
import event_stream.bend as Leaf

103# Select a stream that is itself the complete family owner. The selection
104# records closed extraction/replacement operations and performs neither here.
105def select_leaf(~S:Data,~E:Data) -> Selection<S,E,Leaf.Stream<S,E>,selected_leaf(~S,~E),replaced_leaf(~S,~E)>:Selection{}