ReaderParameter.pair_access: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
Lines 66-68 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=66&end_line=68

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick

def pair_access(~W:Type,~OwnerA:Type,~ViewA:Data,~DeltaA:Type,~validateA:W -> OwnerA -> W & (OwnerA & Bool),~prepareA:W -> @+cursor:Maybe<&2,Tick.Tick> -> OwnerA -> W & (OwnerA & (ViewA & DeltaA)),~commitA:W -> OwnerA -> DeltaA -> @+cursor:Tick.Tick -> W & OwnerA,~releaseA:W -> OwnerA -> W,~OwnerB:Type,~ViewB:Data,~DeltaB:Type,~validateB:W -> OwnerB -> W & (OwnerB & Bool),~prepareB:W -> @+cursor:Maybe<&2,Tick.Tick> -> OwnerB -> W & (OwnerB & (ViewB & DeltaB)),~commitB:W -> OwnerB -> DeltaB -> @+cursor:Tick.Tick -> W & OwnerB,~releaseB:W -> OwnerB -> W,left:Param<W,OwnerA,ViewA,DeltaA,validateA,prepareA,commitA,releaseA>,right:Param<W,OwnerB,ViewB,DeltaB,validateB,prepareB,commitB,releaseB>) -> List<&2,String>:
  match left:
    case Param{access}:pair_access_second(~W,~OwnerA,~ViewA,~DeltaA,~validateA,~prepareA,~commitA,~releaseA,~OwnerB,~ViewB,~DeltaB,~validateB,~prepareB,~commitB,~releaseB,access,right)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/reader_parameter.bend&name=Param
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/reader_parameter.bend&name=pair_access_second