- (* The given context name is on top of the stack. *)
- | CPrefix of context
- (* Some prefix of the stack matches the context. *)
- | CNot of context
- (* The context does not match. *)
- | CAnd of context * context
- (* Both contexts match. *)
-withtype context = context' * position
+ (* The given pred name is on top of the stack. *)
+ | CPrefix of pred
+ (* Some prefix of the stack matches the pred. *)
+ | CNot of pred
+ (* The pred does not match. *)
+ | CAnd of pred * pred
+ (* Both preds match. *)
+withtype pred = pred' * position