Function vstd::invariant::create_open_invariant_credit

source · 
pub exec fn create_open_invariant_credit() -> Tracked<OpenInvariantCredit>
Expand description