How best to:

[tmoran@bix.com]

In a 'cardboard thin' Ada 83 - MS Windows binding, there are a set of
window style constants which can be ORed before being passed to the API.
To reduce errors through a modicum of type checking, I'm declaring

  type Window_Styles         is private;
  type Button_Control_Styles is private;
  type Static_Control_Styles is private;
  type Listbox_Styles        is private;
  ...
  function "+"(left:Window_Styles        ; right:Window_Styles        )
    return Window_Styles        ;
  function "+"(left:Button_Control_Styles; right:Button_Control_Styles)
    return Button_Control_Styles;
  function "+"(left:Static_Control_Styles; right:Static_Control_Styles)
    return Static_Control_Styles;
  function "+"(left:Listbox_Styles       ; right:Listbox_Styles
    ) return Listbox_Styles       ;

etc.  to allow mixing general Windows_Styles with specific ones, but not
allow, eg, Button_Control_Styles to be "+" with Listbox_Styles.

When all is said and done, I wind up with nearly 500 lines.  Is there
a simpler way?

2) The package includes a set of functions of the form
  function ">="(left:Listbox_Styles; right:Window_Styles) return boolean;
to allow checking if a combined style contains a particular style (eg,
if this_style >= WS_BORDER then ...).  Is the use of ">=" for "includes"
likely to be confusing or cause problems?