blob: dd25806517aa51c9718dfddc9b83f77822d3967b (
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
27
28
29
30
31
|
// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
// SPDX-License-Identifier: MIT
#ifndef CALM_PARSE_H
#define CALM_PARSE_H
#include <lib/hash.h>
typedef enum { INV, ABS, APP, VAR } term_type_t;
struct term {
term_type_t type;
hash_t hash;
size_t refs;
union {
struct {
hash_t term;
} abs;
struct {
hash_t lhs;
hash_t rhs;
} app;
struct {
int index;
} var;
} u;
};
hash_t parse_blc(char **term);
#endif
|
