def drop_first

mlbend-datasets@0.1.6.0 · main.bend:188

import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
import Base

188# The lines of a file without its first.
189def drop_first(+lines: List<&2, String>) -> List<&2, String>:
190  List.drop(&2, String, lines, 1n)

Uses (3)

Used by (1)