DecodeData.Raw: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/decode_data.bend as DecodeData
Lines 4-18 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=4&end_line=18

import Base
import entity_key.bend as Key

# Raw is a typed Data description. Arbitrary affine payload ownership is a
# separate explicit receipt; this validator never invents an inverse Raw -> C.
type Raw is Data:
  Missing{}
  Null{}
  Number{value:U32}
  SignedInteger{negative:Bool,magnitude:Nat}
  Float{value:F32}
  Binary64{high:U32,low:U32}
  BendvyText{value:String}
  Utf16Text{units:List<&2,U32>}
  Boolean{value:Bool}
  Handle{namespace:U32,key:Key.Key}
  Array{items:List<&2,Raw>}
  Object{fields:List<&2,Field>}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_key.bend&name=Key