pub unsafe extern "C" fn proof_get_rule(proof: Proof) -> ProofRule
Get the proof rule used by the root step of a given proof. @return The proof rule.