MlbendDatasets.label_index: def of mlbend-datasets@0.1.6.0 Import: import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets Lines 106-109 of mlbend-datasets@0.1.6.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-datasets@0.1.6.0/main.bend&start_line=106&end_line=109 import Base # The place of the label in a row: the last column, less the columns # that are left out at the end. def label_index(+xs: List<&2, String>, drop: Nat) -> Nat: Nat.sub(List.length(&2, String, xs), Nat.add(1n, drop)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.length https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String