diff options
| author | Marvin Borner | 2023-02-13 16:52:38 +0100 |
|---|---|---|
| committer | Marvin Borner | 2023-02-13 16:52:38 +0100 |
| commit | 4e106e78a98f7a241fc2681fefc0996a34207045 (patch) | |
| tree | 0f504c180ca6d8759d0ec48aa5f7ac214d016c06 /inc/reducer.h | |
| parent | 373c4bdc9cc01e2986f518eccc54c9d3856b7d05 (diff) | |
Switched to HAMT and BDWGC
Diffstat (limited to 'inc/reducer.h')
| -rw-r--r-- | inc/reducer.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/inc/reducer.h b/inc/reducer.h index 28fe8b1..a5cfda1 100644 --- a/inc/reducer.h +++ b/inc/reducer.h @@ -1,8 +1,10 @@ +// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de> + #ifndef REDUCER_H #define REDUCER_H #include <term.h> -struct term *reduce(struct term *term); +struct term *reduce(struct term *term, void (*callback)(int, char)); #endif |