module Only_in_test: sig .. end
sig
end
type 'a t
'a
include Monad.S
val of_thunk : (unit -> 'a) -> 'a t
(unit -> 'a) -> 'a t
val all : 'a t list -> 'a list t
'a t list -> 'a list t