Function cvc5_modes_proof_component_to_string

pub unsafe extern "C" fn cvc5_modes_proof_component_to_string(
    pc: Cvc5ProofComponent,
) -> *const c_char

Expand description

Get a string representation of a Cvc5ProofComponent. @param pc The proof component. @return The string representation.

cvc5_modes_proof_component_to_string