// Copyright (c) 2024, Marvin Borner <dev@marvinborner.de>
// SPDX-License-Identifier: MIT

#ifndef PRINT_H
#define PRINT_H

#include <term.h>

void print_bruijn(Term *term);
void print_blc(Term *term);

#endif