Sorted_Sets

Sorted_Terms

Sorted_Contexts

Basic_Terms

FinFun_RBT_Impl

Compute_Nonempty_Infinite_Sorts