rsmt2::SmtParseResult
[−]
[src]
type SmtParseResult<T> = Result<T, UnexSmtRes>;
Generic type for the parsing of an SMT Lib 2 answer.
Either a value of the expected type or an unexpected error.