Language.SMTLib2.Debug

data DebugBackend b

debugBackend

namedDebugBackend

debugBackend'