RestoreLeaf.admitted: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as RestoreLeaf
Lines 29-32 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=29&end_line=32

import Base
import bendvy-ecs-core@0.1.0.4/persistence_declaration.bend as Persistence
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 admitted(~S:Data,~I:Type,~P:Type,~Custom:Data,~identity:Identity.Declaration<S,P>,~project:P -> P & D.Raw,declaration:Persistence.Constructed<S,P,identity,project>,result:Build.Construction<I,P,Constructor.Error<Custom>>) -> Build.Construction<I,P,Constructor.Error<Custom>>:
  match result:
    case Build.Invalid{owner,error}:Build.Invalid{owner,error}
    case Build.Constructed{owner,undo}:stored(~I,~P,~Custom,undo,Persistence.validate(~S,~P,~identity,~project,declaration,owner))

Uses (8):
  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.4/bundle_construction.bend&name=Construction
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_construction.bend&name=Error
  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/persistence_declaration.bend&name=Constructed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/persistence_declaration.bend&name=validate
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=stored