X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALSignal.signal_serialize.html?ds=inline
diff --git a/documentation/code_VALSignal.signal_serialize.html b/documentation/code_VALSignal.signal_serialize.html
deleted file mode 100644
index 6b0378b..0000000
--- a/documentation/code_VALSignal.signal_serialize.html
+++ /dev/null
@@ -1,38 +0,0 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-Signal.signal_serialize
-
-
-let signal_serialize s =
- let temp0 = (signal_fun s) 0 in
- match temp0 with
- |Vec (size0, vec0) ->
- let new_signal = fun t ->
- (
- let temp = (signal_fun s) (t/size0) in
- match temp with
- |Vec (size, vec) ->
- if size = size0 then
- vec (t mod size)
- else
- raise (Signal_operation"Serialize: vector length not consistent.")
- |_ -> raise (Signal_operation"Serialize: signal type not consistent.")
- )
- in
- let new_frequency = (frequency s) * size0 in
- (new_frequency, new_signal)
- |_ -> raise (Signal_operation"Serialize: input signal should be vector.")
\ No newline at end of file