ReaderParameter.pair_validate_after_left: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
Lines 74-76 of bendvy-ecs-core@0.1.0.4/reader_parameter.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/reader_parameter.bend&start_line=74&end_line=76

import Base

def pair_validate_after_left(~W:Type,~OwnerA:Type,~OwnerB:Type,~validateB:W -> OwnerB -> W & (OwnerB & Bool),ownerB:OwnerB,validatedA:W & (OwnerA & Bool)) -> W & ((OwnerA & OwnerB) & Bool):
  match validatedA:
    case (world,(ownerA,left_valid)):pair_validate_join(~W,~OwnerA,~OwnerB,left_valid,validateB(world,ownerB),ownerA)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=bendvy-ecs-core@0.1.0.4/reader_parameter.bend&name=pair_validate_join