method
pp_binder fmt (_,id) = self
#
pp_id fmt id