blob: 20d67255b621adbdf77ce963ebe0bee1221c80e2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// Copyright (c) 2024, Marvin Borner <dev@marvinborner.de>
// SPDX-License-Identifier: MIT
#ifndef IMPL_H
#define IMPL_H
#include <stdio.h>
#include <term.h>
typedef struct {
const char *name;
void (*encode)(Term *, FILE *);
Term *(*decode)(FILE *);
} Impl;
Impl impl_blc(void);
Impl impl_blc2(void);
Impl impl_closed(void);
Impl impl_app_left(void);
Impl impl_app_right(void);
Impl impl_app_both(void);
Impl impl_abs(void);
Impl impl_abs_app_left(void);
#endif
|
