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

import Base

def release_records(~I:Type,~P:Type,records:List<Record<I,P>>,returned:List<I>) -> List<I>:
  match records:
    case []:returned
    case Record{_,owner,undo} <> rest:release_records(~I,~P,rest,undo(owner) <> returned)

Uses (2):
  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=Record