Function vstd::pcm::conjunct_shared

pub open spec fn conjunct_shared<P: PCM>(a: P, b: P, c: P) -> bool