X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALSignal.signal_select2.html diff --git a/documentation/code_VALSignal.signal_select2.html b/documentation/code_VALSignal.signal_select2.html deleted file mode 100644 index 21f3e97..0000000 --- a/documentation/code_VALSignal.signal_select2.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - - - - - - - - - - - - -Signal.signal_select2 - - -let signal_select2 si s0 s1 = 
-        let f = signal_check_frequency3 si s0 s1 in
-        let new_signal = fun t -> 
-                if (signal_fun si) t = N 0 then (signal_fun s0) t
-                else if (signal_fun si) t = N 1 then (signal_fun s1) t
-                else raise (Signal_operation "select2 index should be 0 or 1.")
-        in
-        (f, new_signal)
\ No newline at end of file