Type Definition isla_lib::executor::TraceResultQueue

type TraceResultQueue<B> = SegQueue<Result<(usize, bool, Vec<Event<B>>), String>>;