let signal_mod s1 s2 = let f = signal_check_frequency s1 s2 in let new_signal = fun t -> v_mod ((signal_fun s1) t) ((signal_fun s2) t) in (f, new_signal)