functor (X : CONTROL) ->
sig
val debug : string -> unit
val debug_exception : string -> exn -> unit
val time :
('a -> 'b) ->
'a ->
(float -> unit, Pervasives.out_channel, unit) Pervasives.format -> 'b
val pr_constr : string -> Term.constr -> unit
end