Language.SMTLib2.Internals.Evaluate
data EvalResult fun res
data ArrayModel fun idx el
type FunctionEval m fun
type FieldEval m fun
evalResultType
arrayModelType
evaluateArray
typeNumElements
evalResultEq
arrayModelEq
evaluateExpr
evaluateFun
getArrayModelType
geqArrayModel
gcompareArrayModel