(* SCHEMA mathematical_functions_schema; *)
TYPE maths_value = SELECT
(atom_based_value,
maths_tuple,
generic_expression);
WHERE
constancy: NOT ('GENERIC_EXPRESSION' IN stripped_typeof(SELF)) OR
expression_is_constant(SELF);
END_TYPE;
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00