X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALSignal.signal_rdtable.html
diff --git a/documentation/code_VALSignal.signal_rdtable.html b/documentation/code_VALSignal.signal_rdtable.html
deleted file mode 100644
index 2b15c5b..0000000
--- a/documentation/code_VALSignal.signal_rdtable.html
+++ /dev/null
@@ -1,32 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Signal.signal_rdtable
-
-
-let signal_rdtable s0 s1 s2 =
- let memory_length_int = take_off_N ((signal_fun s0) 0) in
- let s1_mem = factory_add_memory (signal_fun s1) memory_length_int in
- let new_signal = fun t ->
- let index = (signal_fun s2) t in
- match index with
- |N i -> s1_mem i
- |R f -> raise (Signal_operation"Rdtable index cannot be float.")
- |Vec (size, vec) -> raise (Signal_operation"Rdtable index cannot be vector.")
- |Zero-> s1_mem 0
- |W-> raise (Signal_operation"Rdtable index cannot be Error.")
- in
- (frequency s2, new_signal)
\ No newline at end of file