\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val subst: (Bag.term -> 'a) -> int -> int -> Bag.term -> 'a
+val subst: (Bag.term -> 'a) -> Marks.mark -> Marks.mark -> Bag.term -> 'a