Type Alias SMTExpr 

pub type SMTExpr = SExpr;

SMT expression

This type is an alias for the [easy_smt::SExpr] type.

Aliased Type

pub struct SMTExpr { /* private fields */ }