SCHEMA Maths_value_arm;
TYPE maths_atom =
SELECT
(maths_boolean,
maths_complex,
maths_integer,
maths_real);
END_TYPE;
TYPE maths_boolean =
BOOLEAN;
END_TYPE;
TYPE maths_integer =
INTEGER;
END_TYPE;
TYPE maths_complex =
LIST[2:2] OF REAL;
END_TYPE;
TYPE maths_real =
REAL;
END_TYPE;
TYPE maths_tuple =
LIST[0:?] OF maths_value;
END_TYPE;
TYPE maths_value =
EXTENSIBLE
SELECT
(maths_atom,
maths_tuple);
END_TYPE;
END_SCHEMA; -- Maths_value_arm