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