search

Drup / dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
ISC License
35 stars 4 forks source link

fix(Bitv): fix the is_subset function #22

Closed FardaleM closed 6 months ago

FardaleM commented 7 months ago

In a bit vector, given two sets i and b, testing "(i && b) <> 0" is testing if the intersection is non-empty and not if i is a subset of b.