bits.aes
1 // Tests of builtin bit fields 2 contract BitsTest = 3 4 function none() : bits = Bits.none 5 function all() : bits = Bits.all 6 function set(b : bits, i : int) : bits = Bits.set(b, i) 7 function clear(b : bits, i : int) : bits = Bits.clear(b, i) 8 function test(b : bits, i : int) : bool = Bits.test(b, i) 9 function sum(b : bits) : int = Bits.sum(b) 10 function union(a : bits, b : bits) : bits = Bits.union(a, b) 11 function intersection(a : bits, b : bits) : bits = Bits.intersection(a, b) 12 function difference(a : bits, b : bits) : bits = Bits.difference(a, b) 13