Binsec_codex_lib.Arch_settings
This module signature describes two rather distinct components:
All these signatures are parameterized by an abstract domain.
module type Registers = sig ... end
module type S =
functor (Domain : Binsec_codex_lib.Codex.With_focusing.S_with_types) ->
functor (EvalPred : Binsec_codex_lib.Codex.Type_domain.EvalPred.Sig
with module Domain := Domain) ->
sig ... end