Module type Arch_settings.S

Parameters

Signature

module Registers : Registers with module Domain = Domain