Skip to main content
opens_invariant_mask
vstd
In vstd::
prelude
vstd
::
prelude
Function
opens_
invariant_
mask
Copy item path
pub fn opens_invariant_mask(_inv_mask:
()
)