Overview Schemas Index

mathematical_functions_schema         

TYPE space_constraint_type = ENUMERATION OF (
          sc_equal,
          sc_subspace,
          sc_member );
END_TYPE; -- space_constraint_type

Users

          function_space.domain_constraint
          function_space.range_constraint
          maths_enum_atom
                    maths_atom
                    maths_enum_literal.lit_value