src/Headers/checking.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 extern termNode checkSort (/*@returned@*/ termNode p_t);
   8 extern /*@null@*/ termNode computePossibleSorts (/*@returned@*/ /*@null@*/ termNode p_t);
   9
  10 extern void checkLclPredicate (ltoken p_t, lclPredicateNode p_n);