2020-06-04 21:36:12 +02:00
|
|
|
let or_op = (n: nat): nat => Bitwise.or(n, 4n);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 21:36:12 +02:00
|
|
|
let and_op = (n: nat): nat => Bitwise.and(n, 7n);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 21:36:12 +02:00
|
|
|
let xor_op = (n: nat): nat => Bitwise.xor(n, 7n);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 21:36:12 +02:00
|
|
|
let lsl_op = (n: nat): nat => Bitwise.shift_left(n, 7n);
|
2020-06-03 12:41:26 +02:00
|
|
|
|
2020-06-04 21:36:12 +02:00
|
|
|
let lsr_op = (n: nat): nat => Bitwise.shift_right(n, 7n);
|