Module F.For_tests

val compare_state : state -> state -> int
val state_to_string : state -> string