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