Module AddressDomain_intf

module type AddressDomain = sig ... end