Module Binsec_base.LoggerSource

with_tags_on ppf fmt pretty-prints fmt on the pretty-printing formatter ppf with tag marking and printing functions activated. Before it quits, those functions are deactivated.

This allows delimits an environment where tags simply need to be interpreted or might have specific semantics.