let
lt_real_bool =
"lt_real_bool"