Select_utils.Coeffect
type t =
| None
| Read_mutable
| Arbitrary
val join : t -> t -> t
val copure : t -> bool