The TYPING function is a relationship function. It finds the type
    of some occurrence. Occurrences related in this manner have a
    TYPING relationship between them. For example, if INTEGER is
    typing variable X, then these two occurrences are in a TYPING
    relationship. In its most common form, the function format is as
    follows:

    TYPING( <typee>, <type>, DEPTH={<number> | ALL} )

    In this format, <typee> and <type> can be any legal query
    expression, and <number> is a positive integer. A typical use
    of the function is to find the type of a variable. For example:

      FIND TYPING( X, *, DEPTH=1)

    This query finds the type of X, where X is some variable in the
    SCA database.

    The TYPING function also works on user-defined types. The defined
    type can have many levels, in which case the user can specify a
    depth as follows:

      FIND TYPING( user_defined_type, *, DEPTH=ALL)

    This query gives the full type tree for USER_DEFINED_TYPE.

    The TYPING function provides the power to return the exact type
    tree you want. The full format is as follows:

    TYPING( [ END=<typee> ],
            [ BEGIN=<type> ],
            [ DEPTH={<number> | ALL} ],
            [ RESULT=RESULT_KEYWORD ],
            [ TRACE=query_expression ] )

    In the previous format, <typee> and <type> is any legal query
    expression, <number> is a positive integer, RESULT_KEYWORD can
    be STRUCTURE, NOSTRUCTURE, ANY_PATH, BEGIN, or END, and QUERY_
    EXPRESSION is any legal query expression.

    For a full description of the TYPING relationship, see the
    on-line help file SCACOMMANDS.