reduce.h

   1 #ifndef REDUCE_H
   2 #define REDUCE_H
   3
   4 #include "lambda.h"
   5
   6 void lambda_reduce(struct lambda **t, struct lambda **total, int *maxdepth);
   7 #endif