\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+IFDEF SUMMARY THEN
+
val clear_reductions: unit -> unit
val add:
?beta:int -> ?theta:int -> ?epsilon:int -> ?ldelta:int -> ?gdelta:int ->
- ?zeta:int -> ?si:int -> ?lrt:int -> ?grt:int -> ?e:int ->
+ ?zeta:int -> ?upsilon:int -> ?lrt:int -> ?grt:int -> ?e:int -> ?x:int ->
unit -> unit
val print_reductions: unit -> unit
+
+END