def checked_generic

bendvy-ecs-core@0.1.0.3 · execution_stream_channel.bend:33

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

33def checked_generic(-E:Data,allowed:Bool,sequence:Nat,tick:Tick.Tick,cursor:Nat,store:Store<E>) -> Store<E> & Reading<E>:
34  match allowed:
35    case False{}:(store,Refused{})
36    case True{}:reading_generic(E,sequence,tick,cursor,store)