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