DecodeConstruction.Factory: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/decode_construction.bend as DecodeConstruction
Lines 9-12 of bendvy-ecs-core@0.1.0.3/decode_construction.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/decode_construction.bend&start_line=9&end_line=12

import Base
import ordinary_declaration.bend as Identity
import persistence_declaration.bend as Decl
import decode_data.bend as D
import bundle_construction.bend as Build

# A retained nominal declaration supplies admission. The schema author provides
# an actual reversible constructor, not an implicit inverse for arbitrary Type.
type Factory<-S:Data,-I:Type,-P:Type,-identity:Identity.Declaration<S,P>,-project:P -> P & D.Raw,-incoming:I -> I & D.Raw,-build:I -> D.Raw -> Build.Construction<I,P,D.Error>> is Data:
  Factory{declaration:Decl.Constructed<S,P,identity,project>,inputCodec:D.Codec}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=Construction
  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=Error
  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/ordinary_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/persistence_declaration.bend&name=Constructed