Function pocket_prover::contra_qual

source · [−]
pub fn contra_qual(a: u64, b: u64) -> u64
Expand description

Path semantical contravariant quality a ¬~~ b.

For more information, see paper.