grisette-0.3.1.1: src/Grisette/IR/SymPrim/Data/Prim/Model.hs-boot

module Grisette.IR.SymPrim.Data.Prim.Model
  ( SymbolSet (..),
  )
where

import qualified Data.HashSet as S
import Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term
  ( SomeTypedSymbol,
  )

newtype SymbolSet = SymbolSet {unSymbolSet :: S.HashSet SomeTypedSymbol}

instance Monoid SymbolSet

instance Semigroup SymbolSet