Overview Schemas Index

mathematical_functions_schema         

TYPE open_closed = ENUMERATION OF (
          open,
          closed );
END_TYPE; -- open_closed

Users

          finite_real_interval.max_closure
          finite_real_interval.min_closure
          maths_enum_atom
                    maths_atom
                    maths_enum_literal.lit_value
          real_interval_from_min.min_closure
          real_interval_to_max.max_closure