EmergingEztoml.heads.drop: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 2007-2016 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=2007&end_line=2016

import Base

# forget every table whose path starts with the prefix. A new element of an
# array of tables starts with none of the tables the element before defined
def heads.drop(hs: List<&2, String>, +pre: String) -> List<&2, String>:
  match hs:
    case []:
      []
    case SCon{mark, +path} <> t:
      heads.drop.step(String.starts_with(path, pre), mark, path, heads.drop(t, pre))
    case SNil{} <> t:
      heads.drop(t, pre)

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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=heads.drop.step