Binsec_codex_lib.Hooks
module Make (State : Dba2Codex.StateS) (Record_cfg : Record_cfg.S) : Analysis_settings.S with module Record_cfg = Record_cfg and module State = State