5 lines
117 B
Text
5 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)));
|