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