Module 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