Language.Fixpoint.Smt.Types

Serialized Representation

type Raw

Commands

data Command

Responses

data Response

Typeclass for SMTLIB2 conversion

class SMTLIB2 a

SMTLIB2 Process Context

data Context

Theory Symbol

data TheorySymbol