// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de> // SPDX-License-Identifier: MIT #ifndef CALM_REDUCE_H #define CALM_REDUCE_H #include <term.h> struct term *reduce(struct term *term); #endif