Type Definition smt2::ExecResult

type ExecResult<T, E> = Result<T, E>;