Config.unknown.in: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/config.bend as Config Lines 154-163 of bolt@1.27.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/config.bend&start_line=154&end_line=163 import Base import bolt@1.27.0.0/src/codes.bend as Codes # the settings, in order, whose name no row of the table has as its slug or # its group def unknown.in(ss: List<&2, Setting>, +rows: List<&2, Codes.Entry>) -> List<&2, Setting>: match ss: case Nil{}: Nil{} case Con{Setting{+n, w, line}, rest}: +more = unknown.in(rest, rows) Bool.pick(List<&2, Setting>, known.in(rows, n), more, Setting{n, w, line} <> more) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/codes.bend&name=Entry https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=Setting https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=known.in