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