pub fn aqual(a: u64, b: u64) -> u64
Path semantical aquality a ~¬~ b.
a ~¬~ b
For more information, see paper.