value label_ipatt expr pc (p, oe) =
match Pcaml.unvala oe with
[ Some e -> pprintf pc "~%p:%p" patt p expr e
| None -> patt pc p ]
| None -> pprintf pc "~%p" patt p ]
;
EXTEND_PRINTER
-