let
model_valid :
tbl_alloc
->
D
.integer
->
D
.integer
->
F
.pred =
D
.p_app3
"valid"