module T : TEST_RESULTmodule Dom : sig ... endinclude module type of struct include Dom endtype test_result = T.ttype !'a test_function = 'a test_input -> test_resulttype !'a example = 'a Make(T).example = {name : string;focus : bool;metadata : Metadata.t list;f : 'a test_function;}type !'a t = 'a Make(T).t = {name : string option;child_groups : 'a child_suite list;metadata : Metadata.t list;examples : 'a example list;has_focused : bool;}and !'a child_suite = 'a Make(T).child_suite = | Child : {child : 'b t;setup : 'a0 test_input -> 'b;} -> 'a0 child_suite| Context : {child : 'a1 t;} -> 'a1 child_suiteinclude sig ... endval empty : 'a Dom.tval make_suite : ?name:string -> ?metadata:Metadata.t list -> unit -> 'a Dom.tval make : string -> 'a Dom.tval add_example :
?focus:bool ->
?metadata:Metadata.t list ->
string ->
'a Dom.test_function ->
'a Dom.t ->
'a Dom.tval add_child : 'a Dom.child_suite -> 'a Dom.t -> 'a Dom.tval add_child_group_with_setup :
setup:('a test_input -> 'b) ->
'b Dom.t ->
'a Dom.t ->
'a Dom.tval add_fixture :
?name:string ->
?metadata:Metadata.t list ->
setup:('a test_input -> 'b) ->
('c Dom.t -> 'b Dom.t) ->
'a Dom.t ->
'a Dom.tval add_context :
?metadata:Metadata.t list ->
string ->
('a Dom.t -> 'b Dom.t) ->
'b Dom.t ->
'b Dom.tval get_example_count : 'a Dom.t -> intval child_group_count : 'a Dom.t -> int