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