diff options
| author | Jon French | 2019-05-13 16:01:08 +0100 |
|---|---|---|
| committer | Jon French | 2019-05-13 16:04:21 +0100 |
| commit | efe0975074c6733475cc0216e9a69e6498f39093 (patch) | |
| tree | 0f98b1f6067700e495bc1a2cdff987c6d73e2e4f /src/sail_lib.ml | |
| parent | 02fa50e64f79309f5a3da78737070dd9f8b3dce2 (diff) | |
Changes to toFromInterp backend to support aarch64_small
* Includes adding support for bitlist-Lem
* Adds new command-line option -Ofast_undefined
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 39485769..83d58178 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -1,5 +1,12 @@ module Big_int = Nat_big_num +(* for ToFromInterp_lib_foo *) +module type BitType = sig + type t + val b0 : t + val b1 : t +end + type 'a return = { return : 'b . 'a -> 'b } type 'za zoption = | ZNone of unit | ZSome of 'za;; |