Module `Select_utils.Coeffect`

type t =

val join : 
  Select_utils.Coeffect.t ->
  Select_utils.Coeffect.t ->
  Select_utils.Coeffect.t

val copure : Select_utils.Coeffect.t -> bool

Module Select_utils.Coeffect