Class type Ptip.term_wrapper

method wrap : F.term printer -> F.term printer