"""

Use types in this module to specifiy a domain. 

"""
module Over
# use to specify domain

struct CC{T} end
struct C end

struct RR{T} end
struct R end

struct QQ{T} end
struct Q end

struct ZZ{T} end
struct Z end

struct Zp{p} end

end
