Schema: Maths_value_arm



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