~/jendhub

def named

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

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

47# what the laws of every LAWS.bend name (Digest.of records uses for no
48# other file; a digest list handed in from elsewhere is read the same way)
49def named(ds: List<&2, Digest.Digest>) -> List<&2, Digest.Mention>:
50  match ds:
51    case Nil{}:
52      Nil{}
53    case Con{Digest.Digest{path, norm, dir, is_laws, is_law_file, exempt, tops, says, deps, laws}, rest}:
54      named.put(is_laws, says, named(rest))

Uses (4)

Used by (1)