Overview
Schemas
Index
CURVE_APPEARANCE_MIM (jsdai.SCurve_appearance_mim)
TYPE
terminator
= SELECT (
externally_defined_terminator_symbol
,
pre_defined_terminator_symbol
,
user_defined_terminator_symbol
);
END_TYPE; -- terminator
Users
vector_appearance.terminator_type