module
Numeric
.
Domain
.
UFD
(
UFD
)
where
import
Numeric
.
Domain
.
Internal
(
UFD
)