Module Sym.Propset

module Propset: sig  end

val get : Sym.t -> Sym.propset

val mk_empty : Sym.t

val mk_full : Sym.t

val mk_ite : Sym.t

val is : Sym.t -> bool

val is_empty : Sym.t -> bool

val is_full : Sym.t -> bool

val is_ite : Sym.t -> bool

val pp : 'a Pretty.printer -> (Sym.propset * 'a list) Pretty.printer