diff options
Diffstat (limited to 'src/gen_lib/vector.lem')
| -rw-r--r-- | src/gen_lib/vector.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gen_lib/vector.lem b/src/gen_lib/vector.lem index 5f239e37..f409ceb7 100644 --- a/src/gen_lib/vector.lem +++ b/src/gen_lib/vector.lem @@ -1,7 +1,7 @@ open import Pervasives -type bit = B0 | B1 | BU -type vector 'a = Vector of list 'a * nat +type bit = O | I | U +type vector 'a = V of list 'a * nat * bool let rec nth xs (n : nat) = match (n,xs) with | (0,x :: xs) -> x |