vstd
In vstd::
invariant
vstd
::
invariant
Function
create_open_invariant_credit
Copy item path
Source
pub
exec
fn create_open_invariant_credit() ->
Tracked
<OpenInvariantCredit>
Expand description