Language.Fixpoint.Types.Theories

Serialized Representation

type Raw

Theory Symbol

data TheorySymbol

data Sem

Theory Sorts

data SmtSort

sortSmtSort

isIntSmtSort

Symbol Environments

data SymEnv

symEnv

symEnvSort

symEnvTheory

insertSymEnv

symbolAtName

symbolAtSmtName