Function pocket_prover::ps_sym_core

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

Assumes the symmetric path semantical core axiom.

This is the same as assuming both the core axiom and the acore axiom.