Module type `Test.TEST`

type test
type 'a suite
type 'a check

val int : int check
val bool : bool check
val string : string check
val array : 'a check -> 'a array check
val option : 'a check -> 'a option check
val list : 'a check -> 'a list check
val tuple : 'a check -> 'b check -> ('a * 'b) check
val check : 'a check -> ?⁠name:string -> 'a -> 'a -> unit
val test : string -> (unit -> unit) -> test
val suite : string -> test list -> test suite