4 lines
117 B
Text
4 lines
117 B
Text
# A ⊆ B iff string_subset(A;B)
|
|
def stringset_subset(A;B):
|
|
reduce (A|keys)[] as $k
|
|
(true; . and (B|has($k)));
|