Overview
Schemas
Index
CLASSIFICATION_SCHEMA (jsdai.SClassification_schema)
TYPE
complete_membership_select
= EXTENSIBLE SELECT ;
END_TYPE; -- complete_membership_select
Extensions
-
Users
complete_membership_of_non_empty_set.members