Module 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