isSubsetOf

isSubsetOf(setA: long, setB: long) 🡒 long, pure function

Given two 64-sets, returns true if $A \subset B$ (A is a non-strict subset of B).

ABC = union(flag(1), union(flag(2), flag(3)))
BC  = union(flag(2), flag(3))
show scalar "" a1c2 with isSubsetOf(BC, ABC) // true