Singleton_List

Finite_IDL_Solver_Interface

Compute_Nonempty_Infinite_Sorts

Pattern_Completeness_Set

Pattern_Completeness_Multiset

Pattern_Completeness_List

Pattern_Completeness

Test_Pat_Complete