val register_category : 'a -> 'b
module type S = sig ... end
val r : (module S) Stdlib.ref
val register : (module S) -> unit
val alarm_count : int Stdlib.ref
include module type of struct include Used end
val result : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val warning : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val error : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val feedback : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val imprecision_warning :
('a, Stdlib.Format.formatter, unit) Stdlib.format ->
'a
val debug :
?level:int ->
?category:string ->
('a, Stdlib.Format.formatter, unit) Stdlib.format ->
'a
val fatal : ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val check : string -> unit
val alarm : string -> unit
module Make (P : sig ... end) : sig ... end