DecodeData.owned: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/decode_data.bend as DecodeData
Lines 178-180 of bendvy-ecs-core@0.1.0.3/decode_data.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&start_line=178&end_line=180

import Base

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

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Codec
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Owned
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Receipt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Work
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=validate