let
forall_loc pool =
let
p =
F
.fresh pool
"p"
(
Model
Integer
)
in
[p] ,
Model
.
Addr
(
F
.var p)