Module Select_utils.Effect

type t =
  1. | None
  2. | Raise
  3. | Arbitrary
val join : t -> t -> t
val pure : t -> bool