pub unsafe extern "C" fn proof_get_result(proof: Proof) -> Term
Get the conclusion of the root step of a given proof. @param proof The proof. @return The conclusion term.