def owned

bendvy-ecs-core@0.1.0.3 · decode_data.bend:178

import Base

178def owned(~Owner:Type,fuel:Nat,codec:Codec,input:Owned<Owner>) -> Receipt<Owner>:
179  match input:
180    case Owned{owner,+description}: Receipt{owner,validate(fuel,Continue{[Work{codec,description,"$"}]},description)}