X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.make_vector.html
diff --git a/documentation/code_VALValue.make_vector.html b/documentation/code_VALValue.make_vector.html
deleted file mode 100644
index 96bb0ff..0000000
--- a/documentation/code_VALValue.make_vector.html
+++ /dev/null
@@ -1,25 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Value.make_vector
-
-
-let make_vector = fun size -> fun vec ->
- let new_vec = fun i ->
- if i >= 0 && i < size then vec i
- else raise (Value_operation "vector overflow")
- in
- v_memory (return_Vec (size, new_vec))
\ No newline at end of file