Lines Matching refs:CONS
45 [ 1] = _tag(UNIV, CONS, SEQ),
48 [ 3] = _tag(UNIV, CONS, SEQ),
50 [ 5] = _tagn(CONT, CONS, 0),
59 [ 12] = _tag(UNIV, CONS, SEQ),
65 [ 17] = _tag(UNIV, CONS, SEQ),
71 [ 22] = _tag(UNIV, CONS, SEQ),
91 [ 39] = _tag(UNIV, CONS, SEQ),
97 [ 44] = _tag(UNIV, CONS, SEQ),
100 [ 46] = _tag(UNIV, CONS, SEQ),
113 [ 57] = _tagn(CONT, CONS, 3),
120 [ 63] = _tag(UNIV, CONS, SEQ),
144 [ 82] = _tag(UNIV, CONS, SET),
147 [ 84] = _tag(UNIV, CONS, SEQ),
162 [ 97] = _tag(UNIV, CONS, SEQ),
165 [ 99] = _tag(UNIV, CONS, SEQ),