functor
  (New_domain : Analyzer_domain_sig.Domain) (Underlying_domain : Analyzer_domain_sig.Domain) ->
  Analyzer_domain_sig.Domain