sig
  type descr = string
  type filename = string
  type line_number = int
  type start_pos = int
  type end_pos = int
  val set_lib : string -> unit
  val unset_lib : string -> unit
  val test :
    Runtime.descr ->
    Runtime.filename ->
    Runtime.line_number ->
    Runtime.start_pos -> Runtime.end_pos -> (unit -> bool) -> unit
  val test_unit :
    Runtime.descr ->
    Runtime.filename ->
    Runtime.line_number ->
    Runtime.start_pos -> Runtime.end_pos -> (unit -> unit) -> unit
  val test_module :
    Runtime.descr ->
    Runtime.filename ->
    Runtime.line_number ->
    Runtime.start_pos -> Runtime.end_pos -> (unit -> unit) -> unit
  val summarize : unit -> unit
  val collect : (unit -> unit) -> (unit -> unit) list
  val testing : bool
end