Dagger_tests.Map_array
module Pure : sig ... end
val run_pure : unit -> bool Dagger.Internal.Identity_monad.t Dagger.Internal.Identity_monad.t
val run_lmh : unit -> bool
val run_lmh_incremental : unit -> bool
val tests : QCheck.Test.t list