RestoreLeaf.supplied: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as RestoreLeaf
Lines 36-38 of bendvy-ecs-core@0.1.0.4/restore_leaf.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&start_line=36&end_line=38

import Base
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/decode_construction.bend as Constructor
import bendvy-ecs-core@0.1.0.4/bundle_construction.bend as Build
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity

def supplied(~S:Data,~Context:Type,~I:Type,~P:Type,~Custom:Data,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,~incoming:I -> I & D.Raw,~build:I -> D.Raw -> Build.Construction<I,P,Custom>,~factory:Constructor.FallibleFactory<S,I,P,Custom,identity,project,incoming,build>,position:R.Position,records:List<Record<I,P>>,returned:List<I>,removed:List<P>,applied:List<Applied<I,P>>,observed:Context & I) -> State<Context,I,P> & R.Dispatch<Custom>:
  match observed:
    case (context,input):constructed(~Context,~I,~P,~Custom,position,records,returned,removed,applied,context,admitted(~S,~I,~P,~Custom,~identity,~project,declaration(~S,~I,~P,~Custom,~identity,~project,~incoming,~build,factory),Constructor.fallible_construct(~S,~I,~P,~Custom,~identity,~project,~incoming,~build,factory,input)))

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=bendvy-ecs-core@0.1.0.4/bundle_construction.bend&name=Construction
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_construction.bend&name=FallibleFactory
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_construction.bend&name=fallible_construct
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=Applied
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=admitted
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=constructed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=declaration