Module Path.For_testing

val slow_but_correct_compare_for_bisimulation : t -> t -> int