SSTG-0.1.1.6: STG Symbolic Execution
SSTG.Core.SMT.Syntax
Description
SMT2-Lib Syntax
data SMTExpr Source #
Constructors