Journal.list.log: def of bend-kit-journal@0.3.1.0 Import: import bend-kit-journal@0.3.1.0/journal.bend as Journal Lines 223-229 of bend-kit-journal@0.3.1.0/journal.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-journal@0.3.1.0/journal.bend&start_line=223&end_line=229 import Base # The frames of rs, one after another: what appending each record writes. def list.log(rs: List<&2, List<&2, U32>>) -> List<&2, U32>: match rs: case Nil{}: Nil{} case Con{p, t}: List.append(&2, U32, list.frame(p), list.log(t)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-kit-journal@0.3.1.0/journal.bend&name=list.frame