let
pset_of_lst l =
List
.fold_left (
fun
s x
->
PSet
.add x s)
PSet
.empty l