Module Select_utils.Coeffect

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