P
attern_
C
ompleteness
Singleton_List
Finite_IDL_Solver_Interface
Compute_Nonempty_Infinite_Sorts
Pattern_Completeness_Set
Pattern_Completeness_Multiset
Pattern_Completeness_List
Pattern_Completeness
Test_Pat_Complete