let equal_f f1 f2 = match f1, f2 with | T.FctSrc fi1, T.FctSrc fi2 -> equal_fi fi1 fi2 | T.FctSliced ff1, T.FctSliced ff2 -> equal_ff ff1 ff2 | _ -> false