Module type Amall_types.MONAD_SEQUENCE

module type MONAD_SEQUENCE = sig .. end

type 'a m 

val return : 'a -> 'a m

val bind_rev : 'a m ->
       ('a -> 'b m) -> 'b m

val sequence_array : 'a m array ->
       'a array m