let
lt_loc l1 l2 =
F
.p_app2
"addr_lt"
(addr l1) (addr l2)