Up

module Runtime

: 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 : descr -> filename -> line_number -> start_pos -> end_pos -> (unit -> bool) -> unit

#

val test_unit : descr -> filename -> line_number -> start_pos -> end_pos -> (unit -> unit) -> unit

#

val test_module : descr -> filename -> line_number -> start_pos -> end_pos -> (unit -> unit) -> unit

#

val summarize : unit -> unit

#

val collect : (unit -> unit) -> OUnit.test

end