X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALValue.factory_add_memory.html diff --git a/documentation/code_VALValue.factory_add_memory.html b/documentation/code_VALValue.factory_add_memory.html deleted file mode 100644 index aa40f46..0000000 --- a/documentation/code_VALValue.factory_add_memory.html +++ /dev/null @@ -1,34 +0,0 @@ -
- - - - - - - - - - - - - - - -let factory_add_memory = fun f -> fun n ->
- if n > 0 then
- (
- let memory = Hashtbl.create n in
- let new_fun = fun i ->
- try Hashtbl.find memory i
- with Not_found ->
- let result = f i in
- let () = Hashtbl.replace memory i result in
- let () = Hashtbl.remove memory (i - n) in
- result
- in
- new_fun
- )
- else raise (Value_operation "memory length cannot be < 0." )
\ No newline at end of file