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

import Base

def release(~Context:Type,~I:Type,~P:Type,state:State<Context,I,P>) -> State<Context,I,P>:
  match state:
    case State{context,records,returned,removed,applied}:State{context,[],release_records(~I,~P,records,returned),removed,applied}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=release_records