Function proof_rule_to_string 

pub unsafe extern "C" fn proof_rule_to_string(
    rule: ProofRule,
) -> *const c_char

Get a string representation of a Cvc5ProofRule. @param rule The proof rule. @return The string representation.