let
rt_global :
D
.name
->
F
.pred =
D
.p_app1
"rt_global"