MatcherParseError

smt_scope::formatter

Type Alias MatcherParseError 

Source 
pub type MatcherParseError = ParseError<MatcherError>;

Aliased Type§

pub struct MatcherParseError {
    pub s: String,
    pub kind: MatcherError,
}

Fields§

§s: String§kind: MatcherError