☰
vstd
In vstd::pcm
?
Function
vstd
::
pcm
::
set_op
source
·
[
−
]
pub
open spec
fn set_op<P:
PCM
>(s:
Set
<P>, t: P) ->
Set
<P>
Expand description