~/jendhub

def named.put

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

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

39# a file's uses onto the others', when the file is a LAWS.bend
40def named.put(laws: Bool, ms: List<&2, Digest.Mention>, more: List<&2, Digest.Mention>) -> List<&2, Digest.Mention>:
41  match laws:
42    case True{}:
43      List.append(&2, Digest.Mention, ms, more)
44    case False{}:
45      more

Uses (4)

Used by (1)