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

          -