smtLib-1.0.8: A library for working with the SMTLIB format.
SMTLib2.Compat1
data Trans a Source
Constructors
Instances
toMaybe :: Trans a -> Maybe a Source
toEither :: Trans a -> Either Doc a Source
err :: Doc -> Trans a Source
name :: Name -> Name Source
ident :: Ident -> Ident Source
quant :: Quant -> Quant Source
binder :: Binder -> Binder Source
sort :: Sort -> Type Source
literal :: Literal -> Literal Source
term :: Term -> Trans Expr Source
formula :: Formula -> Trans Expr Source
annot :: Annot -> Trans Attr Source
command :: Command -> Trans [Command] Source
script :: Script -> Trans Script Source