module Satchmo.SMT.Exotic.Domain where

data Domain = Natural | Arctic | Tropical | Fuzzy  deriving ( Show, Eq )