def keys

bolt@1.27.0.0 · src/rules/laws/law.bend:64

import Base
import bolt@1.27.0.0/src/rules/digest.bend as Digest

64# the keys of what the mentions name
65def keys(ms: List<&2, Digest.Mention>) -> List<&2, String>:
66  match ms:
67    case Nil{}:
68      Nil{}
69    case Con{Digest.Mention{p, n}, rest}:
70      key(p, n) <> keys(rest)