blob: e2f7aa252b4d3a92024e75405e541e3841bcb43f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
// 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
|
