P
attern_
C
ompleteness
Pattern_Completeness_Set
Pattern_Completeness_Multiset
Compute_Nonempty_Infinite_Sorts
Pattern_Completeness_List
Pattern_Completeness
Test_Pat_Complete