grisette-0.5.0.0: Symbolic evaluation as a library
Copyright(c) Sirui Lu 2021-2024
LicenseBSD-3-Clause (see the LICENSE file)
Maintainersiruilu@cs.washington.edu
StabilityExperimental
PortabilityGHC only
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Internal.SymPrim.Prim.TermUtils

Description

 

Documentation

extractSymbolicsTerm :: SupportedPrim a => Term a -> HashSet SomeTypedSymbol Source #

castTerm :: forall a b. Typeable b => Term a -> Maybe (Term b) Source #

someTermsSize :: [SomeTerm] -> Int Source #

someTermSize :: SomeTerm -> Int Source #

termSize :: Term a -> Int Source #

termsSize :: [Term a] -> Int Source #