Logger (p.binsec.0.10.1.doc.binsec.Binsec.Logger)

module type S = sig ... end

module type ChannelGroup = sig ... end

module Make (G : ChannelGroup) : S

val with_tags_on : 
  Format.formatter ->
  ('a, Format.formatter, unit) format ->
  'a

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.