\import Algebra.Domain
\import Algebra.Ring.Integral
\import Algebra.Ring.Localization

\class IntegrallyClosedDomain \extends IntegralDomain
  | isIntegrallyClosedDomain : isIntegrallyClosed (locMap {_} {subMonoid})