~/jendhub

def decoded

bendvy-ecs-core@0.1.0.3 · decode_capabilities.bend:13

import bendvy-ecs-core@0.1.0.3/decode_capabilities.bend as DecodeCapabilities
import Base
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

13def decoded(~Raw:Type,~Owners:Type,~Observation:Data,~admit:Owners -> D.Receipt<Raw> -> Owners & Observation,value:Owners & D.Receipt<Raw>) -> Owners & Observation:
14  match value:
15    case (owners,receipt): admit(owners,receipt)

Uses (3)

Used by (1)