let
lt_loc_bool l1 l2 =
F
.e_app2
"rt_addr_lt_bool"
(
Tint
.term_of_xaddr l1)
(
Tint
.term_of_xaddr l2)