package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_base.LoggerSource

Logging/output facilities

Sourcemodule type S = sig ... end
Sourcemodule type ChannelGroup = sig ... end
Sourcemodule type GROUP = sig ... end
Sourcemodule Make (_ : ChannelGroup) : S
Sourceval 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.