let
is_null l =
F
.e_app2
"addr_eq"
(addr l) (
F
.i_zero)