diff options
| author | Kathy Gray | 2016-07-27 13:16:08 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-07-27 13:16:16 +0100 |
| commit | 0451b5056ff4beead2b0cedc43458e3366414b57 (patch) | |
| tree | 8aea55536396940e696c63ed15be578ad5e04fa8 /src | |
| parent | 8e208dded40b6faeb69e8ddbf5bda3ed0c1e4194 (diff) | |
Add a function 'not' to the library with type bit -> bit
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_internal.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type_internal.ml b/src/type_internal.ml index 43b3dfb4..85e6b15e 100644 --- a/src/type_internal.ml +++ b/src/type_internal.ml @@ -2576,6 +2576,8 @@ let initial_typ_env = mk_bitwise_op "bitwise_or" "|" 2; mk_bitwise_op "bitwise_xor" "^" 2; mk_bitwise_op "bitwise_and" "&" 2; + ("not", + Base(([], mk_pure_fun bit_t bit_t), External (Some "bitwise_not_bit"), [],pure_e,pure_e,nob)); ("^^", Overload( Base((mk_nat_params["n";"o";"p"]@[("a",{k=K_Typ})], |