X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/fc2ec49c325b99370170789886b4be4f43e16d68..b8e89a384896a4f8ce3e1990a10c88e7164af55c:/documentation/code_VALSignal.prefix.html diff --git a/documentation/code_VALSignal.prefix.html b/documentation/code_VALSignal.prefix.html deleted file mode 100644 index 5093c74..0000000 --- a/documentation/code_VALSignal.prefix.html +++ /dev/null @@ -1,22 +0,0 @@ -
- - - - - - - - - - - -let prefix = fun s0 -> fun s1 ->
- let new_signal = fun t ->
- if t = 0 then (signal_fun s0) 0
- else if t > 0 then (signal_fun s1) t
- else raise (Signal_operation "prefix time cannot be < 0.")
- in
- (frequency s1, new_signal)
\ No newline at end of file