satchmo-2.6.0: Satchmo/SMT/Exotic/Domain.hs
module Satchmo.SMT.Exotic.Domain where data Domain = Natural | Arctic | Tropical | Fuzzy deriving ( Show, Eq )
module Satchmo.SMT.Exotic.Domain where data Domain = Natural | Arctic | Tropical | Fuzzy deriving ( Show, Eq )