OrdinaryMachineTransitionReader.validate: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_machine_transition_reader.bend as OrdinaryMachineTransitionReader
Lines 26-28 of bendvy-ecs-core@0.1.0.4/ordinary_machine_transition_reader.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_machine_transition_reader.bend&start_line=26&end_line=28

import Base
import bendvy-ecs-core@0.1.0.4/machine_stream.bend as St

def validate(~S:Data,~K:Data,reader:St.Reader<S,K>,namespace:U32,id:U32) -> St.Reader<S,K> & Bool:
  match reader:
    case St.Reader{+actual,+key}:(St.Reader{actual,key},Bool.and(U32.is_eq(actual,namespace),U32.is_eq(key,id)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/machine_stream.bend&name=Reader