let
valid_range :
D
.pointer
->
D
.set
->
D
.
F
.pred =
D
.p_app2 (
"m0_valid_range"
)