Module CLogic.CNOp

type t =
  1. | SetUnion
val str : t -> string