2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
9 LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
10 LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
13 struct s_lclPredicateNode {
14 ltoken tok; /* for debugging */
15 lclPredicateKind kind;