let
rec
print_cross cr =
printf
"%s"
(string_of_condition cr)