blob: 5749cb25cef7abef51586b3f8a41e702d231cb92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#include <stdio.h>
#include "little.h"
main() {
term *t;
t = variable("a");
if(NULL == t) {
printf("call to a term constructor returns a NULL pointer");
} else {
printf("a variable whose name is %s\n", t->term_body.string_val);
}
}
|