def Laws.name

bend-lint-pack@0.1.1.0 · common.bend:197

import Base

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