def Set.from_list.go

import Base

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

Uses (4)

List
String
Set
Set.add

Used by (1)

Set.from_list