smtLib-1.0.2: A library for working with the SMTLIB format.
SMTLib2.AST
newtype Name Source
Constructors
Instances
data Ident Source
data Quant Source
data Binder Source
Fields
data Defn Source
data Literal Source
value, width (in bits)
data Type Source
data Expr Source
data Attr Source
type AttrVal = ExprSource
data Option Source
data InfoFlag Source
data Command Source
newtype Script Source
app :: Ident -> [Expr] -> ExprSource