/****
 *
 * Functions to instatiate a where clause.
 *
 */

#ifndef whereIncluded
#define whereIncluded

#include "parse-tree.h"
#include "type.h"


TypeNode* InstantiateWhereDef(TypeNode* type, nodep where);
/*
 * Instantiate a new copy of the given type using the given where clause, if
 * applicable.  Return the instantiated type.
 */

void MarkInstantiaters(nodep where);
/*
 * Mark each of the RHSs or each where node has being instantiating types.
 * This info is used by the browser to eliminate such types for otherwise being
 * top level by virtue of not being a component of any other type.
 */

#endif