Function mentat_ffi::in_progress_builder_transact

#[no_mangle]
pub unsafe extern "C" fn in_progress_builder_transact<'a, 'c>(
    builder: *mut InProgressBuilder<'a, 'c>
) -> *mut InProgressTransactResult<'a, 'c>

Transacts all the assertions and retractions that have been performed using this builder.

This consumes the builder and returns the enclosed InProgress transaction inside the InProgressTransactResult alongside the TxReport generated by the transact.

Safety

Callers are responsible for managing the memory for the return value. The destructors in_progress_destroy and tx_report_destroy arew provided for releasing the memory for these pointer types.