diff options
| author | Alasdair Armstrong | 2018-02-13 19:18:34 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-13 20:47:53 +0000 |
| commit | f10a3973ec9e4f26fa78eb479fbeacc6caa0dcbf (patch) | |
| tree | 9e8ddc4b42365f00469fd9e2261c9b79958d11f8 /src/util.mli | |
| parent | ee7ee68027547631e9b264c0c2f258f24407792a (diff) | |
Support for large bitvector literals in C backend
Diffstat (limited to 'src/util.mli')
| -rw-r--r-- | src/util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index 8aa7f42d..b74442a2 100644 --- a/src/util.mli +++ b/src/util.mli @@ -230,6 +230,7 @@ val is_some : 'a option -> bool val is_none : 'a option -> bool val take : int -> 'a list -> 'a list +val drop : int -> 'a list -> 'a list val take_drop : ('a -> bool) -> 'a list -> ('a list * 'a list) |