create_open_invariant_credit
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