let
d s x =
Term
.
Set
.fold
(
fun
y acc
->
(y,
None
) :: acc)
(deq s x)
[]