Function pocket_prover::qual

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

Path semantical quality a ~~ b.