ExecutionSaveLayoutField.projected: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_layout_field.bend as ExecutionSaveLayoutField
Lines 28-30 of bendvy-ecs-core@0.1.0.3/execution_save_layout_field.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_layout_field.bend&start_line=28&end_line=30

import Base
import bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend as Recipe
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D
import bendvy-ecs-core@0.1.0.3/decode_size.bend as Size

def projected(-P:Type,key:String,+codec:D.Codec,result:P & D.Raw) -> P & Recipe.Field:
  match result:
    case (owner,+raw):budgeted(P,owner,key,codec,raw,Size.budget(codec,raw))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_size.bend&name=budget
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_layout_field.bend&name=budgeted
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_recipe.bend&name=Field