pp_tag

Tag.pp_tag : tag Parse.pprinter

Prettyprinter for tags.

An invocation pp_tag t will produce a pretty representation for tag t. Such a pretty-printer can be used to produce outputs, or return strings, or to combine with other pretty representations to create compound values.

Failure

Never fails.

Example

> show_tags := true;
val it = () : unit

> Portable.pprint Tag.pp_tag (Tag.read "fooble");
[oracles: fooble] [axioms: ]
val it = (): unit