diff options
| author | eunhhu <[email protected]> | 2026-10-04 13:58:19 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-04 13:58:19 +0100 |
| commit | 9e587a06d88b01d21ccc7a1cb25dc156b40efcab (patch) | |
| tree | 7f65478fa708c5908dc13e36aab524b170296358 /core/module-list.h | |
| parent | 09a34871f97c9917735b4dfd40cbad22ccf9b001 (diff) | |
| download | pure-9e587a06d88b01d21ccc7a1cb25dc156b40efcab.tar.gz pure-9e587a06d88b01d21ccc7a1cb25dc156b40efcab.zip | |
Count in loops that nest, break, and keep an event's own lists, every event bounded (018 stage 2)
Diffstat (limited to 'core/module-list.h')
| -rw-r--r-- | core/module-list.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/module-list.h b/core/module-list.h index 75a871f..69e0d7d 100644 --- a/core/module-list.h +++ b/core/module-list.h @@ -151,5 +151,7 @@ PureResult pure_list_replay(PureList *, const unsigned char *bytes, size_t size) /* Undo the changes logged after mark (a count taken earlier), newest first. */ void pure_undo_rollback(PureUndo *, size_t mark); void pure_undo_commit(PureUndo *); +/* What the changes logged hold, in bytes (their entries and the cells kept). */ +size_t pure_undo_size(const PureUndo *); void pure_undo_free(PureUndo *); #endif |