bind.h File Reference

Binding patterns for predicates. More...

#include "../base/ver.h"
#include "../base/str.h"
#include "../base/check.h"

Go to the source code of this file.

Typedefs
typedef enum bind_enum	bind_t

Enumerations
enum	bind_enum {   BIND_NULL,   BIND_EMPTY,   BIND_B,   BIND_F,   BIND_BB,   BIND_BF,   BIND_FB,   BIND_FF }

Functions
str_t	bind_name (bind_t bind)
int	bind_arity (bind_t bind)

Detailed Description

Binding patterns for predicates.