smtLib-1.0.3: A library for working with the SMTLIB format.
SMTLib2.Compat1
data Trans a Source
Constructors
Instances
toMaybe :: Trans a -> Maybe aSource
toEither :: Trans a -> Either Doc aSource
err :: Doc -> Trans aSource
name :: Name -> NameSource
ident :: Ident -> IdentSource
quant :: Quant -> QuantSource
binder :: Binder -> BinderSource
sort :: Sort -> TypeSource
literal :: Literal -> LiteralSource
term :: Term -> Trans ExprSource
formula :: Formula -> Trans ExprSource
annot :: Annot -> Trans AttrSource
command :: Command -> Trans [Command]Source
script :: Script -> Trans ScriptSource