smtLib-1.1: A library for working with the SMTLIB format.
Safe HaskellSafe
LanguageHaskell98

SMTLib1.QF_BV

Synopsis

Documentation

module SMTLib1

concat :: Term -> Term -> Term Source #

m
-> [n] -> [m+n]

bit0 :: Term Source #

BitVec[1]

bit1 :: Term Source #

BitVec[1]