let signal_div s1 s2 = let f = signal_check_frequency s1 s2 in let new_signal = fun t -> ((signal_fun s1) t) /~ ((signal_fun s2) t) in (f, new_signal)