Skip to main content

proof_rewrite_rule_to_string

cvc5_sys

Function proof_rewrite_rule_to_string 

Source 
pub unsafe extern "C" fn proof_rewrite_rule_to_string(
    rule: ProofRewriteRule,
) -> *const c_char
Expand description

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