☰
vstd
In vstd::pcm
?
Function
vstd
::
pcm
::
frame_preserving_update
source
·
[
−
]
pub
open spec
fn frame_preserving_update<P:
PCM
>(a: P, b: P) ->
bool
Expand description