libnormalform_implyl.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

/* See LICENSE file for copyright and license details. */
#ifndef TEST
#include "common.h"


extern inline LIBNORMALFORM_SENTENCE *(libnormalform_implyl)(LIBNORMALFORM_SENTENCE *, ...);


#else

#define USE_VARARGS
#include "libnormalform_imply.c"

#endif