let
le_loc_bool l1 l2 =
F
.e_app2
"addr_le_bool"
(addr l1) (addr l2)