The structure to represent binders. (For future use.) More...
#include <checker.h>
The structure to represent binders. (For future use.)