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