DecodeCapabilities.apply: def of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/decode_capabilities.bend as DecodeCapabilities Lines 5-10 of bendvy-ecs-core@0.1.0.3/decode_capabilities.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/decode_capabilities.bend&start_line=5&end_line=10 import Base import bendvy-ecs-core@0.1.0.3/capabilities.bend as Cap # Generic admission provider. Only the trusted schema author closes decoder, # owner lens and admitted/refused transition; gameplay is universal in H. # No callback truthfulness or universal Raw->Output inverse is asserted. def apply(-H:Type,-Raw:Type,-Observation:Data,cap:Cap.Request,raw:Raw,ctx:H) -> H & Observation: match cap: case Cap.Request{run}: run(ctx,raw) Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/capabilities.bend&name=Request