Function ergo::ergo_lib_prover_result_context_extension

#[no_mangle]
pub unsafe extern "C" fn ergo_lib_prover_result_context_extension(
    prover_result_ptr: ConstProverResultPtr,
    context_extension_out: *mut ContextExtensionPtr
)

Get extension