let
compare_field f1 f2 =
LogicId
.compare f1.f_name f2.f_name