X86_arch.Make
module Domain : Binsec_codex_lib.Codex.With_focusing.S_with_types
module EvalPred : Binsec_codex_lib.Codex.Type_domain.EvalPred.Sig with module Domain := Domain
module Registers : Arch_settings.Registers with module Domain = Domain