let
separated :
D
.pointer
->
D
.pointer
->
D
.
F
.pred =
D
.p_app2 (
"m0_separated"
)