Type Alias RSmtParser 

pub type RSmtParser = SmtParser<BufReader<ChildStdout>>;

Alias for the underlying parser.

Aliased Type

pub struct RSmtParser { /* private fields */ }