Arch_settings.S
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 : Registers with module Domain = Domain