Type Definition smt2::error::Result

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