Dba2CodexC.Make
module Reg : sig ... end
module State : sig ... end
val expr : Binsec.Dba.Expr.t -> State.t -> (Domain.binary * State.t) option
val instr : State.t -> Binsec.Dba.Instr.t -> (Binsec_codex_lib__Dba2Codex.jump_target * State.t) list