~/jendhub

def Laws.add

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

import bend-lint-pack@0.1.1.0/common.bend as Common
import Base

216def Laws.add(names: List<&2, String>, out: Set()) -> Set():
217  match names:
218    case Nil{}:
219      out
220    case Con{n, rest}:
221      Laws.add(rest, Set.add(out, n))

Uses (4)

Used by (1)