Safe Haskell | Safe-Inferred |
---|
Documentation
data SpecConstant Source
type GetInfoResponse = [InfoResponse]Source
data InfoResponse Source
type GetAssertionsResponse = [Term]Source
type GetProofResponse = SexprSource
type GetUnsatCoreResponse = [String]Source
type GetValueResponse = [ValuationPair]Source
type GetOptionResponse = AttrValueSource
data CmdResponse Source