{-# LANGUAGE ExplicitNamespaces #-} -- | -- Module : Grisette.IR.SymPrim -- Copyright : (c) Sirui Lu 2021-2023 -- License : BSD-3-Clause (see the LICENSE file) -- -- Maintainer : siruilu@cs.washington.edu -- Stability : Experimental -- Portability : GHC only module Grisette.IR.SymPrim ( -- * Symbolic type implementation -- ** Extended types IntN, WordN, SomeWordN (..), SomeIntN (..), type (=->) (..), type (-->), (-->), -- ** Symbolic types SupportedPrim, SymRep (..), ConRep (..), LinkedRep, SymBool (..), SymInteger (..), SymWordN (..), SymIntN (..), SomeSymWordN (..), SomeSymIntN (..), type (=~>) (..), type (-~>) (..), TypedSymbol (..), symSize, symsSize, AllSyms (..), allSymsSize, -- ** Symbolic constant sets and models SymbolSet (..), Model (..), ModelValuePair (..), ModelSymPair (..), ) where import Grisette.Core.Data.BV import Grisette.IR.SymPrim.Data.Prim.InternedTerm.Term import Grisette.IR.SymPrim.Data.Prim.Model import Grisette.IR.SymPrim.Data.SymPrim import Grisette.IR.SymPrim.Data.TabularFun