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

module Grisette.IR.SymPrim.Data.Prim.Model where

import qualified Data.HashSet as S
import Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term

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

instance Monoid SymbolSet

instance Semigroup SymbolSet