sig
module Only_in_test :
sig
type 'a t = 'a Utest.Only_in_test.t
type 'a monad = 'a t
val ( >>= ) : 'a monad -> ('a -> 'b monad) -> 'b monad
val ( >>| ) : 'a monad -> ('a -> 'b) -> 'b monad
module Monad_infix :
sig
type 'a monad = 'a monad
val ( >>= ) : 'a monad -> ('a -> 'b monad) -> 'b monad
val ( >>| ) : 'a monad -> ('a -> 'b) -> 'b monad
end
val bind : 'a monad -> ('a -> 'b monad) -> 'b monad
val return : 'a -> 'a monad
val map : 'a monad -> f:('a -> 'b) -> 'b monad
val join : 'a monad monad -> 'a monad
val ignore : 'a monad -> unit monad
val of_thunk : (unit -> 'a) -> 'a t
val all : 'a t list -> 'a list t
end
module type S =
sig
val register :
?get_location:(unit -> unit) -> unit Only_in_test.t -> unit
val register_thunk :
?get_location:(unit -> unit) -> (unit -> unit) -> unit
val run_tests_and_exit : unit -> unit
val run_tests : unit -> bool
end
module Make :
functor (Dummy : sig end) ->
sig
val register :
?get_location:(unit -> unit) -> unit Only_in_test.t -> unit
val register_thunk :
?get_location:(unit -> unit) -> (unit -> unit) -> unit
val run_tests_and_exit : unit -> unit
val run_tests : unit -> bool
end
val debug_printf : ('a, unit, string, unit) format4 -> 'a
module Debug_compare :
functor
(S : sig
type t
val sexp_of_t : t -> Sexplib.Sexp.t
val t_of_sexp : Sexplib.Sexp.t -> t
val compare : t -> t -> int
end) ->
sig
val equal : S.t -> S.t -> bool
val compare : S.t -> S.t -> int
val ascending : S.t -> S.t -> int
val descending : S.t -> S.t -> int
val min : S.t -> S.t -> S.t
val max : S.t -> S.t -> S.t
val ( >= ) : S.t -> S.t -> bool
val ( <= ) : S.t -> S.t -> bool
val ( = ) : S.t -> S.t -> bool
val ( > ) : S.t -> S.t -> bool
val ( < ) : S.t -> S.t -> bool
val ( <> ) : S.t -> S.t -> bool
end
end