sig
  type t = Flatten.Disj.t list
  val print :
    Cudf.universe -> Format.formatter -> Flatten.PSet.t list -> unit
  val of_disj : '-> 'a list
  val lit : Flatten.PSet.elt -> Flatten.PSet.t list
  val lit_disj : Flatten.PSet.elt list -> Flatten.PSet.t list
  val implies1 : Flatten.PSet.t list -> Flatten.PSet.t -> bool
  val implies : Flatten.PSet.t list -> Flatten.PSet.t list -> bool
  val equiv : Flatten.PSet.t list -> Flatten.PSet.t list -> bool
  val _true : 'a list
  val conj1 : Flatten.PSet.t list -> Flatten.PSet.t -> Flatten.PSet.t list
  val conj :
    Flatten.PSet.t list -> Flatten.PSet.t list -> Flatten.PSet.t list
  val conjl : Flatten.PSet.t list list -> Flatten.PSet.t list
  val _false : Flatten.PSet.t list
  val disj :
    Flatten.PSet.t list -> Flatten.PSet.t list -> Flatten.PSet.t list
  val disjl : Flatten.PSet.t list list -> Flatten.PSet.t list
  val iter : 'a list -> ('-> unit) -> unit
  val fold : ('-> '-> 'b) -> 'a list -> '-> 'b
  val filter : ('-> bool) -> 'a list -> 'a list
  val exists : ('-> bool) -> 'a list -> bool
  val map : ('-> 'b) -> 'a list -> 'b list
  val normalize : Flatten.PSet.t list -> Flatten.PSet.t list
end