Overview Schemas Index

mathematical_functions_schema         

TYPE elementary_space_enumerators = ENUMERATION OF (
          es_numbers,
          es_complex_numbers,
          es_reals,
          es_integers,
          es_logicals,
          es_booleans,
          es_strings,
          es_binarys,
          es_maths_spaces,
          es_maths_functions,
          es_generics );
END_TYPE; -- elementary_space_enumerators

Users

          elementary_space.space_id
          maths_enum_atom
                    maths_atom
                    maths_enum_literal.lit_value