Function mentat_ffi::in_progress_builder_commit
[−]
[src]
#[no_mangle]pub unsafe extern "C" fn in_progress_builder_commit<'a, 'c>(
builder: *mut InProgressBuilder<'a, 'c>,
error: *mut ExternError
) -> *mut TxReport
Transacts and commits all the assertions and retractions that have been performed using this builder.
This consumes the builder and the enclosed InProgress transaction.