Module Dba2CodexC.Make

Parameters

module Reg : sig ... end

Signature

module State : sig ... end

val expr : Binsec.Dba.Expr.t Syntax_tree.located -> State.t -> (Domain.binary * State.t) option

val instr : State.t -> Binsec.Dba.Instr.t Syntax_tree.located -> (Binsec_codex_lib__Dba2Codex.jump_target * State.t) list