Binsec_codex_lib.Record_cfg
module type S = sig ... end
A module to record a set of traces. Note: imperative interface for now.
module Make (State : Dba2Codex.StateS) : S