Function proof_is_equal 

pub unsafe extern "C" fn proof_is_equal(a: Proof, b: Proof) -> bool

Compare two proofs for referential equality. @param a The first proof. @param b The second proof. @return True if both proof pointers point to the same internal proof object.