Type Definition smt2::syntax::error::Result

type Result<T> = Result<T, Located<Error>>;