4 lines
43 B
Plaintext
4 lines
43 B
Plaintext
type Set
|
|
|
|
predicate SubSet(Set s1, Set s2)
|
type Set
|
|
|
|
predicate SubSet(Set s1, Set s2)
|