Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type node =
| TestCaseNode of status * int * string * diagnostic option
| TodoTestCaseNode of status * int * string * directive * diagnostic option
| DiagnosticNode of diagnostic
| PlanNode of int
val count_test_nodes : node list -> int -> int
val count_tests : t -> int
val count_test_failures : t -> int
val string_of_status : status -> string
val string_of_diagnostic : diagnostic -> string
val string_of_directive : directive -> string
val string_of_node : node -> string
val string_of_document : t -> string