// Copyright (c) 2023, Marvin Borner #ifndef REDUCER_H #define REDUCER_H #include struct term *reduce(struct term *term, void (*callback)(int, char, void *), void *data); #endif