-(* reductions count *********************************************************)
-
-type reductions = {
- beta : int;
- upsilon: int;
- tau : int;
- ldelta : int;
- gdelta : int
-}
-
-let initial_reductions = {
- beta = 0; upsilon = 0; tau = 0; ldelta = 0; gdelta = 0
-}
-
-let add ?(beta=0) ?(upsilon=0) ?(tau=0) ?(ldelta=0) ?(gdelta=0) r = {
- beta = r.beta + beta;
- upsilon = r.upsilon + upsilon;
- tau = r.tau + tau;
- ldelta = r.ldelta + ldelta;
- gdelta = r.gdelta + gdelta
-}
-