def has
import near-v-framework@0.4.0.0/general/compound/ops.bend as Opsimport Base
17# ---- invariants ----
18def has(+ks: List<&2, String>, +k: String) -> Bool:
19 List.contains(~String, ~String.eq, ks, k)
import near-v-framework@0.4.0.0/general/compound/ops.bend as Opsimport Base
17# ---- invariants ----
18def has(+ks: List<&2, String>, +k: String) -> Bool:
19 List.contains(~String, ~String.eq, ks, k)