Function pocket_prover::ps_acore_eq

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

Assumes a strong version of the path semantical acore axiom.

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

For more information, see the “aqual” function.