Set.from_list.go: def of Base
Import: import Base
Lines 3098-3103 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=3098&end_line=3103

import Base

def Set.from_list.go(keys: List<&2, String>, s: Set()) -> Set():
  match keys:
    case Nil{}:
      s
    case h <> t:
      Set.from_list.go(t, Set.add(s, h))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Set.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String