def distinct
import near-v-framework@0.4.0.0/general/compound/ops.bend as Opsimport Base
34def distinct(+ks: List<&2, String>) -> Bool:
35 Nat.is_eq(Set.size(Set.from_list(ks)), List.length(&2, String, ks))
import near-v-framework@0.4.0.0/general/compound/ops.bend as Opsimport Base
34def distinct(+ks: List<&2, String>) -> Bool:
35 Nat.is_eq(Set.size(Set.from_list(ks)), List.length(&2, String, ks))