// Copyright (c) 2023, Marvin Borner // SPDX-License-Identifier: MIT #ifndef CALM_REDUCE_H #define CALM_REDUCE_H #include struct term *reduce(struct term *term); #endif