let
model_separated : dzone
->
dzone
->
F
.pred =
F
.p_app2
"separated"