let
equal_ff ff1 ff2 = (equal_fi ff1.
T
.ff_fct ff2.
T
.ff_fct)
&&
((get_ff_id ff1) = (get_ff_id ff2))