#ifndef REDUCER_H
#define REDUCER_H

#include <term.h>

struct term *reduce(struct term *term);

#endif