|
TYPE element_with_dimension_select = EXTENSIBLE GENERIC_ENTITY SELECT ( Shape_element); END_TYPE; -- element_with_dimension_select |
Extensions- |
Usersplaced_element_selectLocation_dimension.origin Location_dimension.target Size_dimension.is_applied_to |