Re: why does this work? private new types.

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

"Kai Schuelke" <kai.schuelke@gmx.net> writes:

> > >       type table is new tables.hash_table;
> [..]
> > When you derive a type, all derived operations are declared *at the
> point of derivation*.
> > Therefore, the Insert for Table is declared immediately inside your
> package, and thus directly visible.
> 
> Does that mean that INSERT is an Operation like "+" or "mod"? Or is
> INSERT just a normal procedure? I can't imagine the last, but I never
> heard/read about an INSERT Operator, either. It would be nice is
> somebody could answer that question.

In Ada, the phrase "operation of a type" means any subprogram
that takes a parameter of the type or returns a result of the type.

The term "operator" refers to "+", "*" etc.

So INSERT is an "operation of type hash_table", but not an "operator".
And "+" is an operator, not an operation.

Every language has its own jargon :).

-- 
-- Stephe