diff options
Diffstat (limited to 'src/gen_lib/vector.lem')
| -rw-r--r-- | src/gen_lib/vector.lem | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/gen_lib/vector.lem b/src/gen_lib/vector.lem index fe70c9c0..75628f45 100644 --- a/src/gen_lib/vector.lem +++ b/src/gen_lib/vector.lem @@ -4,11 +4,6 @@ type bit = B0 | B1 | BU type vector = Vector of list bit * nat -let vector_access (Vector bs start) n = - let (Just b) = if is_inc then List.index bs (n - start) - else List.index bs (start - n) in - b - let read_vector_subrange is_inc (Vector bs start) n m = let (length,offset) = if is_inc then (m-n+1,n-start) else (n-m+1,start-n) in let (_,suffix) = List.splitAt offset bs in |