Module Binsec_codex_lib.Record_cfg

module type S = sig ... end

A module to record a set of traces. Note: imperative interface for now.