let
terms_to_list =
Term
.
Set
.elements