Common.Laws.name: def of bend-lint-pack@0.1.1.0
Import: import bend-lint-pack@0.1.1.0/common.bend as Common
Lines 197-206 of bend-lint-pack@0.1.1.0/common.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-pack@0.1.1.0/common.bend&start_line=197&end_line=206

import Base

# Laws
# ====
# Laws are specs, not code: a def that fills one is a proof. They are found in the text (`law name:`
# at the start of a line), as the checker gives a law and its proof one owner and no flag.
def Laws.name(parts: List<&2, String>) -> List<&2, String>:
  match parts:
    case Con{h, t}:
      [h]
    case Nil{}:
      []

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String