Function pocket_prover::ps_acore

pub fn ps_acore(a: u64, b: u64, c: u64, d: u64) -> u64

Assumes the path semantical acore axiom.

This is the same as the path semantical core axiom, but using aquality instead of quality.

For more information, see the “aqual” function.