SSTG.Core.SMT.Syntax

data SMTExpr