/*
 * Definition of the quantifier functions.
 */
#ifndef quant_h
#define quant_h

#include "interp.h"

#ifdef USEWITHCPP
extern "C"
#endif
ValueStruct doQuant();

#endif