let
eq_real_bool =
"eq_real_bool"