X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALInterpreter.interpret_const.html
diff --git a/documentation/code_VALInterpreter.interpret_const.html b/documentation/code_VALInterpreter.interpret_const.html
deleted file mode 100644
index 89c80cc..0000000
--- a/documentation/code_VALInterpreter.interpret_const.html
+++ /dev/null
@@ -1,23 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Interpreter.interpret_const
-
-
-let interpret_const = fun v -> fun input_beam ->
- let n = List.length input_beam in
- if n = 0 then [(0,(fun t -> v))]
- else raise (Evaluation_Error "Const")
\ No newline at end of file