1signature pred_setContext =
2sig
3
4  type subtype_context_element = subtypeTools.subtype_context_element
5  type precontext = subtypeTools.precontext
6  type context = subtypeTools.context
7
8  (* Subtype checking *)
9  val pred_set_sc : subtype_context_element list;
10
11  (* Contextual rewriting *)
12  val pred_set_pc : precontext;
13  val pred_set_c : context;
14
15end
16
17