diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 86c12aae..c78b81a9 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -298,6 +298,10 @@ let string_of_bit = function | B0 -> "0" | B1 -> "1" +let char_of_bit = function + | B0 -> '0' + | B1 -> '1' + let string_of_hex = function | [B0; B0; B0; B0] -> "0" | [B0; B0; B0; B1] -> "1" |