#include <stdio.h>
#include "Wff.h"

Wff forked(int nodeT, Wff L, Wff R)
/* construct the parse tree <L,R> from nodeT-ype & subtrees L & R.  L.Allison*/
 { Wff T; T = (Wff)malloc(sizeof(Node));
   T->left  = L;
   T->right = R;
   T->nodeType = nodeT;
   T->id[0] = 0;  /* empty string */
   return T;
 }/*forked*/

/* Basic Tree Operations */