Skip to main content

vstd/std_specs/
task.rs

1use super::super::prelude::*;
2use core::task::{Context, Poll};
3
4verus! {
5
6#[verifier::external_type_specification]
7#[verifier::accept_recursive_types(T)]
8pub struct ExPoll<T>(Poll<T>);
9
10#[verifier::external_type_specification]
11#[verifier::external_body]
12pub struct ExContext<'a>(Context<'a>);
13
14} // verus!