vstd::invariant

Function create_open_invariant_credit

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