X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.string_of_value.html
diff --git a/documentation/code_VALValue.string_of_value.html b/documentation/code_VALValue.string_of_value.html
deleted file mode 100644
index f276a6c..0000000
--- a/documentation/code_VALValue.string_of_value.html
+++ /dev/null
@@ -1,25 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Value.string_of_value
-
-
-let rec string_of_value v = match v with
- |N i1 -> "N " ^ (string_of_int i1)
- |R f1 -> "R " ^ (string_of_float f1)
- |Vec (size, vec) -> "Vec"
- |Zero -> "Zero"
- |W -> "W"
\ No newline at end of file