pub type ExecutionResult<'a> = BoxFuture<'a, Result<()>>;
Result of executing a TST
pub struct ExecutionResult<'a> { /* private fields */ }