diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 8b3e2313..76dec253 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -48,6 +48,8 @@ let trace_call str = type bit = B0 | B1 +let eq_bit (a, b) = a = b + let and_bit = function | B1, B1 -> B1 | _, _ -> B0 |