Module Kwrefer.PS

module PS: Kwset.S  with type elt = pprop

include Set.S

val map : (elt -> elt) -> t -> t

val of_list : elt list -> t

val to_list : t -> elt list