Function vstd::pcm::incl

source · 
pub open spec fn incl<P: PCM>(a: P, b: P) -> bool
Expand description