def has
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
96# Whether a name is in a set.
97def has(s: Set(), name: String) -> Bool:
98 Pair.snd(Set(), Bool, Set.has(s, name))
import bend-lint-pack@0.1.1.0/common.bend as Commonimport Base
96# Whether a name is in a set.
97def has(s: Set(), name: String) -> Bool:
98 Pair.snd(Set(), Bool, Set.has(s, name))