def pair_access
bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:66
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
66def 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>:
67 match left:
68 case Param{access}:pair_access_second(~W,~OwnerA,~ViewA,~DeltaA,~validateA,~prepareA,~commitA,~releaseA,~OwnerB,~ViewB,~DeltaB,~validateB,~prepareB,~commitB,~releaseB,access,right)