sig
  module Product :
    functor
      (New_domain : Analyzer_domain_sig.Domain) (Underlying_domain : Analyzer_domain_sig.Domain) ->
      Analyzer_domain_sig.Domain
end