?(beta=0) ?(theta=0) ?(epsilon=0) ?(ldelta=0) ?(gdelta=0) ?(zeta=0)
?(upsilon=0) ?(lrt=0) ?(grt=0) ?(e=0) ?(x=0) ()
=
- if beta > 0 then L.warn level (KP.sprintf "BETA %u" beta);
- if ldelta > 0 then L.warn level (KP.sprintf "EXP %u" ldelta);
- if gdelta > 0 then L.warn level (KP.sprintf "EXP %u" gdelta);
- if lrt > 0 then L.warn level (KP.sprintf "EXP %u" lrt);
- if grt > 0 then L.warn level (KP.sprintf "EXP %u" grt);
+ if !G.ct >= level then begin
+ if beta > 0 then L.warn level (KP.sprintf "BETA %u" beta);
+ if ldelta > 0 then L.warn level (KP.sprintf "EXP %u" ldelta);
+ if gdelta > 0 then L.warn level (KP.sprintf "EXP %u" gdelta);
+ if lrt > 0 then L.warn level (KP.sprintf "EXP %u" lrt);
+ if grt > 0 then L.warn level (KP.sprintf "EXP %u" grt);
+ end;
reductions := {
beta = !reductions.beta + beta;
zeta = !reductions.zeta + zeta;