Overview
Schemas
Index
DEFAULT_TOLERANCE_XIM (jsdai.SDefault_tolerance_xim)
TYPE
default_setting_select
= EXTENSIBLE SELECT (
general_tolerances
);
END_TYPE; -- default_setting_select
Extensions
-
Users
-