let abs_diff t1 t2 = Span.abs (diff t1 t2)