def Laws.line
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
208def Laws.line(+line: String) -> List<&2, String>:
209 Bool.pick(
210 List<&2, String>,
211 String.starts_with(line, "law "),
212 Laws.name(String.split(String.drop(line, 4n), ':')),
213 []
214 )