Module type `Prime_enumset.S_monadic`

type elt
type t
type 'a monad

val fold_s : (elt -> 'a -> 'a monad) -> t -> 'a -> 'a monad
val iter_s : (elt -> unit monad) -> t -> unit monad
val search_s : (elt -> 'a option monad) -> t -> 'a option monad
val for_all_s : (elt -> bool monad) -> t -> bool monad
val exists_s : (elt -> bool monad) -> t -> bool monad
val filter_s : (elt -> bool monad) -> t -> t monad