Function proof_rule_hash 

pub unsafe extern "C" fn proof_rule_hash(rule: ProofRule) -> usize

Hash function for Cvc5ProofRule. @param rule The proof rule. @return The hash value.