Overview
Schemas
Index
sketch_schema
TYPE
sketch_type_select
= SELECT (
neutral_sketch_representation
,
positioned_sketch
,
subsketch
);
END_TYPE; -- sketch_type_select
Users
subsketch.owning_sketch