Module Binsec.Concrete

module Env : sig ... end

Represent the concrete state of a running program.

module type Program = sig ... end
module Interpreter (P : Program) : sig ... end

*

module Image : Program with type t = unit
module Dba_program : Program with type t = Dba_types.program
module Instr_list : sig ... end