diff options
Diffstat (limited to 'src/sail_lib.ml')
| -rw-r--r-- | src/sail_lib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sail_lib.ml b/src/sail_lib.ml index 048ff299..53f4aec6 100644 --- a/src/sail_lib.ml +++ b/src/sail_lib.ml @@ -149,6 +149,7 @@ let update_subrange (xs, n, m, ys) = in aux xs n ys +let vector_truncate (xs, n) = take (Big_int.to_int n) xs let length xs = Big_int.of_int (List.length xs) |