Module UnionDomain

module Field : sig ... end
module Simple (Values : Lattice.S) : sig ... end