bind x pp
pp
x
pp_term
pred_atomic
pp_term_call
pred_operator
pp_term_operator
term_atomic
term_call
term_operator