let
signal_neg s =
let
new_signal =
fun
t
->
v_neg ((signal_fun s) t)
in
(frequency s, new_signal)